| 000 | 02249nam a2200469 4500 | ||
|---|---|---|---|
| 001 | vtls000388406 | ||
| 003 | RU-ToGU | ||
| 005 | 20221024093340.0 | ||
| 008 | 120829s2010 ru c f b 001 0drus | ||
| 020 | _a9785397005289 | ||
| 035 | _ato000388406 | ||
| 040 |
_aRU-ToGU _brus _cRU-ToGU _ePSBO |
||
| 041 | 1 |
_arus _heng |
|
| 080 | _a510.6 | ||
| 100 | 1 |
_aГудстейн, Рейбен Луис. _9209601 |
|
| 245 | 1 | 0 |
_aМатематическая логика _cР. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской |
| 246 | 1 | 1 | _aMathematical Logic |
| 250 | _aИзд. 2-е | ||
| 260 |
_aМосква _bЛИБРОКОМ _c2010 |
||
| 300 | _a161 с. | ||
| 490 | 1 | 0 |
_aФизико-математическое наследие : ФМН _pМатематика (основания математики и логика) |
| 653 | _aчисла. | ||
| 653 | _aпеременные. | ||
| 653 | _aаксиоматическая теория. | ||
| 653 | _aисчисление предикатов. | ||
| 653 | _aнепротиворечивость (математическая логика) | ||
| 653 | _aГеделя теорема о полноте. | ||
| 653 | _aтеория чисел. | ||
| 653 | _aрекурсии ординальные | ||
| 653 | _aарифметика рекурсивная | ||
| 653 | _aарифметические отношения | ||
| 653 | _aнеполнота арифметики | ||
| 653 | _aнеразрешимость арифметики | ||
| 653 | _aнеразрешимость логики предикатов | ||
| 653 | _aлогика классов. | ||
| 653 | _aупорядоченные пары | ||
| 653 | _aнатуральные числа. | ||
| 700 | 1 |
_aЯновская, Софья Александровна _d1896-1966 _4edt _999940 |
|
| 830 | 0 |
_aФизико-математическое наследие _pМатематика (основания математики и логика) _982704 |
|
| 852 | 4 |
_aRU-ToGU _h510 _iГ935 _nru |
|
| 999 | _c277838 | ||