| 000 | 01860nam0a2200397 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\140694 | ||
| 005 | 20250618044607.0 | ||
| 010 |
_a5-900916-66-9 _91000 |
||
| 021 |
_aRU _b2000-51523 _92374 |
||
| 035 | _a(NLR Aleph) 000137828 | ||
| 090 |
_a788261 _c788261 |
||
| 100 | _a20010316d2000 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aЯзыки и исчисления _fН.К. Верещагин, А. Шень |
|
| 210 |
_aМ. _cМЦНМО _d2000 |
||
| 215 |
_a286 с. _d20 |
||
| 225 | 1 |
_aЛекции по математической логике _v[Ч. 2] |
|
| 225 | 1 | _aСовременные лекционные курсы | |
| 300 | _aНа обл. загл. сер.: Математическая логика и теория алгоритмов | ||
| 320 | _aБиблиогр.: с. 269-272 (34 назв.) | ||
| 320 | _aПредм. указ.: 273-282 | ||
| 320 | _aУказ. имен: с. 283-284 | ||
| 606 | 0 |
_aМатематическая логика _jРуководства, пособия и т.п. _xИсчисление высказываний _91342778 _3RU\NLR\auth\66244969 |
|
| 606 | 0 |
_aИсчисление высказываний _jУчебные издания _92225568 _3RU\NLR\auth\661336082 |
|
| 606 | 0 |
_aМатематическая логика _jРуководства, пособия и т.п. _xИсчисление предикатов _92255986 _3RU\NLR\auth\661352942 |
|
| 606 | 0 |
_aИсчисление предикатов _jУчебные издания _92255985 _3RU\NLR\auth\661352941 |
|
| 686 | _aВ123я7-2 | ||
| 700 | 1 |
_aВерещагин _bН. К. _4070 |
|
| 701 | 1 |
_aШень _bА. Х. _gАлександр Ханьевич _4070 |
|
| 801 | 0 |
_aRU _bNLR _c20010316 _gPSBO |
|
| 801 | 1 |
_aRU _bNLR _c20010316 |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||