Маслов, Сергей Юрьевич Теория дедуктивных систем и ее применения / С.Ю. Маслов. - Москва : Радио и связь , 1986. - 136 с. ; 20 см. - Кибернетика . ISBN: 00.45 Subjects--Topical Terms: Исчислений теорияМатематическая логика