| 000 | 01715nam a2200349 4500 | ||
|---|---|---|---|
| 001 | vtls000092697 | ||
| 003 | RU-ToGU | ||
| 005 | 20210921205427.0 | ||
| 008 | 010223s1978 ru f 001 0 rus d | ||
| 035 | _a0096-00460 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU _ePSBO |
||
| 041 | 1 |
_arus _heng |
|
| 080 | _a510.6 | ||
| 100 | 1 |
_aТакеути, Г. _9183761 |
|
| 245 | 1 | 0 |
_aТеория доказательств _cГ. Такеути; Пер. с англ. С. К. Соболева; Под ред. С. И. Адяна |
| 246 | 1 | 1 | _aProof theory |
| 260 |
_aМ. _bМир _c1978 |
||
| 300 | _a412, [4] с. | ||
| 504 | _aПредм. указ.: с. 407-410 | ||
| 653 | _aдоказательств теория (мат. логика). | ||
| 653 | _aлогика инфинитарная (мат. логика).. | ||
| 653 | _aПеано арифметика (мат. логика). | ||
| 653 | _aсистемы первого порядка (доказательств теория). | ||
| 653 | _aсистемы второго порядка (доказательств теория). | ||
| 653 | _aсистемы конечного порядка (доказательств теория). | ||
| 653 | _aисчисление предикатов (доказательств теория). | ||
| 653 | _aнепротиворечивости доказательства. | ||
| 653 | _aматематическая логика. | ||
| 700 | 1 |
_aАдян, С. И. _eред. _4edt _9169550 |
|
| 852 | 4 |
_aRU-ToGU _h510 _iТ15 _nru |
|
| 999 | _c91446 | ||