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