А 85676 Вагрис, Ф. Г.     Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики. [Текст] : Автореф... Канд.физ-мат.наук: 01.007 / Вагрис Ф.Г.; МГУ. — М, 1972. — 8л.

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка	1	Перейти на сайт