Математическая логика и ее применение : Материалы к семинару Вып. 4, Алгоритмические вопросы формальных систем /
Математическая логика и ее применение : Материалы к семинару Вып. 4, Алгоритмические вопросы формальных систем /
Под ред. Р. Плюшкявичюс.
- Вильнюс : Ин-та математики и кибернетики АН Литовской ССР , 1985.
- 134,[5] с.
Материалы к семинару при институте математики и кибернетики АН Литовской ССР "Математическая логика и ее применения" Ин-т математики и кибернетики АН Литовской ССР
01.30
Математическая логика
Материалы к семинару при институте математики и кибернетики АН Литовской ССР "Математическая логика и ее применения" Ин-т математики и кибернетики АН Литовской ССР
01.30
Математическая логика