000 | 01212nam0a22003011 4500 | ||
---|---|---|---|
001 | rc\1125790 | ||
005 | 20250622185519.0 | ||
090 |
_a4969489 _c4969489 |
||
100 | _a20041126d1981 |||y0rusy50 ca | ||
101 | 0 | _arus | |
102 | _aRU | ||
105 | _ay ||||||||| | ||
200 | 1 |
_aПрограммные логики _dProgramming logics _e[Сб. статей] _fПод ред. Р. Плюшкявичюс |
|
210 |
_aВильнюс _cИн-т математики и кибернетики _d1981 |
||
215 |
_a155 с. _d20 |
||
225 | 1 |
_aМатематическая логика и ее применения _eМатериалы к семинару _fИн-т математики и кибернетики АН Лит. ССР _vВып. 1 |
|
300 | _aПарал. загл. также на лит. яз. | ||
300 | _aРез. на лит. и англ. яз. | ||
320 | _aБиблиогр. в конце статей | ||
320 | _aНа обл. только загл. серии | ||
510 | 0 | _aProgramming logics | |
702 | 1 |
_aПлюшкявичюс _bР. _4340 |
|
852 |
_aNLR _jП7/2019 |
||
942 | _cBOOK |