TY  - BOOK
AU  - Плюшкявичюс,Р.
ED  - Семинар "Математическая логика и ее применения" при институте математики и кибернетики АН Литовской ССР Вильнюс
TI  - Математическая логика и ее применение: Материалы к семинару Вып. 5, Логические аспекты информатики 
PY  - 1987///
CY  - Вильнюс
PB  - Ин-та математики и кибернетики АН Литовской ССР
KW  - Математическая логика
N1  - Материалы к семинару при институте математики и кибернетики АН Литовской ССР "Математическая логика и ее применения"; Год основания 1981; Ин-т математики и кибернетики АН Литовской ССР
ER  -