| 000 | 01933nam0a2200385 i 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\BIBL_A\011458073 | ||
| 005 | 20241114225213.0 | ||
| 010 |
_a9785803811930 _9100 |
||
| 021 |
_aRU _b2017-56137 _93991 |
||
| 035 | _a(RuMoRGB)008949525 | ||
| 035 | _a(NLR Aleph) 011458073 | ||
| 090 |
_a11787855 _c11787855 |
||
| 100 | _a20170818d2017 km y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay|||z|||000yy | ||
| 200 | 1 |
_aДискретные модели: представление конечными деревьями и разрешимость формальных теорий _eмонография _fЮ.Д. Корольков, В.И. Мартьянов _gМинистерство образования и науки РФ, Иркутский национальный исследовательский технический университет |
|
| 210 |
_aИркутск _cИзд-во Иркутского национального исследовательского технического университета _d2017 |
||
| 215 |
_a159 с. _d20 |
||
| 320 | _aБиблиогр.: с. 148-159 (100 назв.) | ||
| 606 | 1 |
_aАлгебраические системы _9938408 _3RU\NLR\AUTH\6628111 |
|
| 606 |
_aНумерации вычислимые _91748521 _3RU\NLR\AUTH\66783083 |
||
| 606 |
_aРекурсивные функции _92136888 _3RU\NLR\AUTH\661288424 |
||
| 606 |
_aМатематическая логика _xМодели _92595557 _3RU\NLR\AUTH\661533614 |
||
| 610 | 0 | _aдискретная математика | |
| 686 |
_aВ12,0 _2rubbk |
||
| 686 |
_aЗ973.233-018,0 _2rubbk |
||
| 686 | 1 | _aВ152.7 | |
| 686 | 1 | _aВ12 | |
| 700 | 1 |
_aКорольков _bЮ. Д. _gЮрий Дмитриевич |
|
| 701 | 1 |
_aМартьянов _bВ. И. _gВладимир Иванович |
|
| 942 | _cBOOK | ||
| 980 | _aNBR | ||