| 000 | 00912nam0a22002651 4500 | ||
|---|---|---|---|
| 001 | rc\88767 | ||
| 005 | 20250620175020.0 | ||
| 035 | _a(NLR Aleph) 005355761 | ||
| 090 |
_a6845172 _c6845172 |
||
| 100 | _a20021216d1992 |||y0rusy50 ca | ||
| 101 | 0 | _arus | |
| 102 | _aRU | ||
| 105 | _ay ||||||||| | ||
| 200 | 1 | _aСтруктурный семантический подход к построению пропозициональных логических систем | |
| 210 |
_aМ. _cИКИ _d1992 |
||
| 215 |
_a[1], 33 с. _d20 |
||
| 225 | 1 |
_aРоссийская академия наук. Институт космических исследований _vПр-1815 |
|
| 300 | _aРез. на англ. яз. | ||
| 320 | _aБиблиогр.: с. 31-32 | ||
| 700 | 1 |
_aПынько _bА.П. |
|
| 801 | 0 |
_aRU _bNLR _gpsbo |
|
| 801 | 1 |
_aRU _bELAR _2rusmarc |
|
| 852 |
_aNLR _j92-4/8484 |
||
| 942 | _cBOOK | ||
| 980 | _aNB | ||