| 000 | 01214nam0a2200289 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\366011 | ||
| 005 | 20250621162025.0 | ||
| 035 | _a(NLR Aleph) 000360580 | ||
| 090 |
_a333132 _c333132 |
||
| 100 | _a20030212d1999 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aВычислимые классы конструктивизаций 2-конструктивизируемых моделей _fС.Ю. Подзоров |
|
| 210 |
_aНовосибирск _cБ.и. _d1999 |
||
| 215 |
_a11 с. _d20 |
||
| 225 | 1 |
_aПрепринт _fМ-во общ. и проф. образования Рос. Федерации, НИИ дискрет. математики и информатики _v44 |
|
| 320 | _aБиблиогр.: с. 11 (2 назв.) | ||
| 606 | 0 |
_aМодели в математической логике конструктивные _91538704 _3RU\NLR\auth\66670808 |
|
| 606 | 0 |
_aКонструктивные модели _92136933 _3RU\NLR\auth\661288447 |
|
| 686 | _aВ127.1 | ||
| 700 | 1 |
_aПодзоров _bС. Ю. _4070 |
|
| 801 | 0 |
_aRU _bNLR _c20030212 _gPSBO |
|
| 801 | 1 |
_aRU _bNLR _c20030212 |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||