| 000 | 03043nam a2200373 i 4500 | ||
|---|---|---|---|
| 001 | RU\SPSTU\books\133595 | ||
| 003 | Ge_NSL | ||
| 005 | 20170622152333.0 | ||
| 008 | 021018s1978 ru a z 001 zyrus u | ||
| 040 |
_c19013582 _d19013582 _ePSBO _ePSBO |
||
| 041 | 1 |
_arus _heng |
|
| 080 | _a510.6 | ||
| 100 | 1 | _aТакеути, Г. | |
| 245 | 1 |
_aТеория доказательств / _cГ. Такеути; пер. с англ. С. К. Соболева; под ред. С. И. Адяна. |
|
| 260 |
_aМосква : _bМир, _c1978. |
||
| 300 |
_a412 с. : _bил. |
||
| 500 | _aДоп. тит. л. на англ. яз. | ||
| 520 | _aКнига посвящена одному из основных разделов математической логики—теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой. | ||
| 653 | _aმათემატიკური ლოგიკა | ||
| 653 | _aმტკიცების თეორია | ||
| 700 | 1 |
_aСоболев, С. К. _eმთარგმნელი |
|
| 700 | 1 |
_aАдян С. И. _eრედაქტორი |
|
| 942 |
_2udc _cBK |
||
| 999 |
_c141521 _d141520 |
||