| 000 | 00973nam a2200241 i 4500 | ||
|---|---|---|---|
| 001 | RU\SPSTU\books\122232 | ||
| 003 | Ge_NSL | ||
| 005 | 20170310155832.0 | ||
| 008 | 011126s1960 ru rus u | ||
| 041 | 1 |
_arus _heng |
|
| 080 | _a | ||
| 100 | 1 | _aЧерч, А. | |
| 245 | 1 |
_aВведение в математическую логику. Т.1 / _cА. Черч ; Пер. с анг. В. С. Чернявского; Под ред. [и с предисл.] В. А. Успенского. |
|
| 264 |
_aМосква : _bИзд-во иностр.лит, _c1960. |
||
| 300 | _a485 с. | ||
| 500 | _aДоп. тит.л. на англ. яз. | ||
| 653 | _aმათემატიკა | ||
| 653 | _aმათემატიკური ლოგიკა | ||
| 700 |
_aЧернявский, В. С. _eმთარგმნელი _924362 |
||
| 700 |
_aУспенский, В. А. _eრედაქტორი _924363 |
||
| 942 |
_2udc _cBK |
||
| 999 |
_c119628 _d119627 |
||