Алгоритмические вопросы формальных систем, [Сб. ст.]
русский/Алгоритмические вопросы формальных систем = Algorithmic problems offormal systems : [Сб. ст.] / Под ред. Р. Плюшкявичюса.Алгоритмические вопросы формальных систем : [Сб. ст.] / Под ред. Р. Плюшкявичюса.Алгоритмические вопросы формальных систем = Algorithmic problems offormal systems : [Сб. ст.].Вильнюс/Ин-т математики и кибернетики/, 1985 ( ). - Ин-т математики и кибернетики, 1985. - 134 с. : ил. ; 20 см. - (Математическая логика и ее применения / Ин-т математики и кибернетики АН Лит. ССР ; Вып. 4).Алгоритмические вопросы формальных систем : [Сб. ст.]. Вильнюс, 1985 .
Парал. загл. также на лит. яз. - На обл. только загл. сер. - Рез. на лит. и англ. яз. - Библиогр. в конце ст. Библиогр. в конце ст.Algorithmic problems offormal systems/
Парал. загл. также на лит. яз. - На обл. только загл. сер. - Рез. на лит. и англ. яз. - Библиогр. в конце ст. Библиогр. в конце ст.Algorithmic problems offormal systems/