| 000 | 01789nam0a2200349 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\1737757 | ||
| 005 | 20250616111704.0 | ||
| 010 |
_a978-5-398-00484-7 _9100 |
||
| 021 |
_aRU _b2011-4544 _9308 |
||
| 035 | _a(nilc)LIBNET\0000099751 | ||
| 035 | _a(NLR Aleph) 001728684 | ||
| 090 |
_a1385624 _c1385624 |
||
| 100 | _a20110128d2010 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 |
_aМатематическая логика и теория алгоритмов. Логика предикатов _eучебное пособие _e[для студентов специальности "Информационные системы и технологии"] _fК.М. Чудинов _gМ-во образования и науки Рос. Федерации, Гос. образоват. учреждение высш. проф. образования "Перм. гос. техн. ун-т" |
|
| 210 |
_aПермь _cИзд-во Пермского государственного технического университета _d2010 |
||
| 215 |
_a72 с. _d21 |
||
| 320 | _aБиблиогр.: с. 72 (6 назв.) | ||
| 517 | 0 | _aЛогика предикатов | |
| 606 | 1 |
_aИсчисление предикатов _jУчебные издания для высших учебных заведений _92255985 _3RU\NLR\auth\661352941 |
|
| 686 |
_a22.122 _vLBC/RL _2rubbk |
||
| 686 |
_a22.127 _vLBC/RL _2rubbk |
||
| 686 | _aВ123я73-1 | ||
| 700 | 1 |
_aЧудинов _bК. М. _gКирилл Михайлович _4070 |
|
| 801 | 0 |
_aRU _bПермская ГОУБ _c20110128 _grcr |
|
| 801 | 1 |
_aRU _bПермская ГОУБ _c20110128 _grcr _2rusmarc |
|
| 801 | 2 |
_aRU _bNLR _c20110217 _grcr |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||