| 000 | 01018nam0a22002771 4500 | ||
|---|---|---|---|
| 001 | rc\2331905 | ||
| 005 | 20260406044905.0 | ||
| 035 | _a(NLR Aleph) 006583192 | ||
| 090 |
_a7067390 _c7067390 |
||
| 100 | _a20110829d1977 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _aa z ||||| | ||
| 200 | 1 | _aНекоторые сложностные характеристики выводов в исчислениях высказываний | |
| 210 |
_aМосква _cБ. и. _d1977 |
||
| 215 |
_a63 с. _cил. _d21 |
||
| 225 | 1 |
_aИн-т прикл. математики АН СССР. Препринт _v№ 116 |
|
| 320 | _aБиблиогр.: с. 63 | ||
| 700 | 1 |
_8rus _7ca _aПопов _bС. В. _cканд. физ.-мат. наук, кибернетика _f1946- _gСергей Викторович _3RU\NLR\AUTH\774679 _9114656 |
|
| 801 | 0 |
_aRU _bNLR _gpsbo |
|
| 801 | 1 |
_aRU _bELAR _2rusmarc |
|
| 852 |
_aNLR _j78-4/1656 |
||
| 899 |
_aRuMoRGB _jИн 69-44/298 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||