| 000 | 02254nam0a2200457 i 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\1916259 | ||
| 005 | 20241114193208.0 | ||
| 010 |
_a9785443900131 _91000 |
||
| 021 |
_aRU _b2012-39763 _92939 |
||
| 035 | _a(nilc)RSL-KNO-005448446 | ||
| 035 | _a(NLR Aleph) 001905751 | ||
| 090 |
_a3108350 _c3108350 |
||
| 100 | _a20120606d2012 u y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa ||||||||| | ||
| 200 | 1 |
_aЯзыки и исчисления _fН.К. Верещагин, А. Шень |
|
| 205 | _aИзд. 4-е, испр. | ||
| 210 |
_aМосква _cИзд-во МЦНМО _d2012 |
||
| 215 |
_a240 с. _cил. _d21 |
||
| 225 | 1 |
_aЛекции по математической логике и теории алгоритмов _vч. 2 |
|
| 225 | 1 | _aСовременные лекционные курсы | |
| 300 | _aНа обороте тит. л. в вып. дан. и макете загл.: Лекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления | ||
| 300 | _aНа обл. авт. не указаны | ||
| 300 | _aНа обл. загл. 1-й сер.: Математическая логика и теория алгоритмов | ||
| 313 | _aПо пред. изд. | ||
| 320 | _aБиблиогр.: с. 224-227 (34 назв.) | ||
| 320 | _aУказатели: предм., имен: с. 228-240 | ||
| 517 | 0 | _aЛекции по математической логике и теории алгоритмов. Ч. 2. Языки и исчисления | |
| 606 |
_aИсчисление высказываний _jУчебные издания _92225568 _3RU\NLR\auth\661336082 |
||
| 606 |
_aИсчисление предикатов _jУчебные издания _92255985 _3RU\NLR\auth\661352941 |
||
| 686 |
_aВ123,0 _2rubbk |
||
| 686 | _aВ123я7-2 | ||
| 700 | 1 |
_aВерещагин _bН. К. _gНиколай Константинович _4070 |
|
| 701 | 1 |
_aШень _bА. _gАлександр _4070 |
|
| 801 | 0 |
_aRU _bRuMoRKP _c20120606 _grcr |
|
| 801 | 1 |
_aRU _bРГБ _c20120606 |
|
| 801 | 2 |
_aRU _bNLR _c20120621 _grcr |
|
| 942 | _cBOOK | ||
| 980 | _aNBR | ||