TY - BOOK ED - Институт математики и кибернетики АН ЛитССР TI - Математическая логика и ее применение: Материалы к семинару CY - Вильнюс PB - Б. и. KW - Математическая логика KW - Сборник N1 - Библиогр. в конце ст; Вып. 4 (1985; 134 c. : ил.); Алгоритмические вопросы формальных систем; Вып. 5 (1987; 132 c. : ил.); Логические аспекты информатики; Вып. 6 (1989; 117 c. : ил.); Математические аспекты компьютерной логики ER -