| 000 | 02111nam0a2200421 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\1679415 | ||
| 005 | 20250616050958.0 | ||
| 010 | _a978-5-397-01387-1 | ||
| 021 |
_aRU _b2010-64071 _94206 |
||
| 035 | _a(nilc)RSL-KNO-004721952 | ||
| 035 | _a(NLR Aleph) 001670626 | ||
| 090 |
_a1039102 _c1039102 |
||
| 100 | _a20100816d2010 |||y0rusy50 ca | ||
| 101 | 1 |
_arus _ceng |
|
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aВведение в математическую логику _dIntroduction to mathematical logic _e[исчисление высказываний, теории первого порядка, формальная арифметика, аксиоматическая теория множеств, эффективная вычислимость] _fЭ. Мендельсон _gпер. с англ. Ф. А. Кабакова _gпод ред. акад. С. И. Адяна _zeng |
|
| 205 | _aИзд. 4-е | ||
| 210 |
_aМосква _cURSS _cЛИБРОКОМ _d2010 |
||
| 215 |
_a319 с. _cил. _d22 |
||
| 225 | 1 | _aФизико-математическое наследие: математика (основания математики и логика) | |
| 300 | _aАвт. также на англ. яз.: Elliott Mendelson | ||
| 313 | _aИзд. проверено | ||
| 320 | _aБиблиогр.: с. 296-309 | ||
| 320 | _aАлф. указ.: с. 310-317 | ||
| 510 | 0 |
_6z55790 _aIntroduction to mathematical logic _zeng |
|
| 606 | 1 |
_aМатематическая логика _9925057 _3RU\NLR\auth\6620994 |
|
| 610 | 0 | _aФизико-математические науки -- Математика -- Основания математики. Математическая логика -- Учебник для высшей школы | |
| 686 |
_aВ12я73-1 _2rubbk |
||
| 686 | _aВ12 | ||
| 700 | 1 |
_aМендельсон _bЭ. _f1931- _gЭллиот _4070 |
|
| 790 | 1 |
_6z55510 _aMendelson _bE. _gElliott _4070 |
|
| 801 | 0 |
_aRU _bРГБ _c20100816 _grcr |
|
| 801 | 1 |
_aRU _bРГБ _c20100816 |
|
| 801 | 2 |
_aRU _bNLR _c20100930 _grcr |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||