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