| 000 | 01883nam0a2200397 4500 | ||
|---|---|---|---|
| 001 | RU\NLR\bibl\912321 | ||
| 005 | 20260406074954.0 | ||
| 021 |
_aRU _b2005-81964 _94050 |
||
| 035 | _a(nilc)RSL-KNO-002792447 | ||
| 035 | _a(NLR Aleph) 000900657 | ||
| 090 |
_a1773350 _c1773350 |
||
| 100 | _a20051213d2005 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 106 | _ar | ||
| 200 | 1 |
_aРазрешимость исчисления предикатов 1-й ступени _dSolvability of the first stage predicates calculation _fСтрыгин Владимир Захарович _zeng |
|
| 210 |
_aМ. _cИздат. отд. ЦАГИ _d2005 |
||
| 215 |
_a3 с. _d20 |
||
| 225 | 1 |
_aПрепринт _fЦентр. аэрогидродинам. ин-т им. Н. Е. Жуковского _v№ 145 |
|
| 300 | _aАвт. также на англ. яз.: Vladimir Z. Strygin | ||
| 320 | _aБиблиогр.: с. 3 | ||
| 510 | 1 |
_6z20790 _aSolvability of the first stage predicates calculation _zeng |
|
| 606 | 1 |
_aИсчисление предикатов _92255985 _3RU\NLR\auth\661352941 |
|
| 610 | 0 | _aФизико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов | |
| 686 |
_aВ123,09 _2rubbk |
||
| 686 | _aВ123 | ||
| 700 | 1 |
_4070 _8rus _7ca _aСтрыгин _bВ. З. _gВладимир Захарович _3RU\NLR\AUTH\7735836 _918831 |
|
| 790 | 1 |
_4070 _8rus _7ba _aStrygin _bV. Z. _gVladimir Zacharovič _3RU\NLR\AUTH\7735837 _918832 |
|
| 801 | 0 |
_aRU _bRuMoRKP _c20051213 _grcr |
|
| 801 | 1 |
_aRU _bРГБ _c20051213 |
|
| 801 | 2 |
_aRU _bNLR _c20060302 _grcr |
|
| 942 | _cBOOK | ||
| 980 | _aNB | ||