Математическая логика и ее применения: материалы к семинару / Академия наук Литовской ССР, Институт математики и кибернетики. - Вильнюс : Институт математики и кибернетики, 1981―1989 - Институт математики и кибернетики (Вильнюс) (Институт математики и кибернетики, 1981)