Маслов, Сергей Юрьевич Теория дедуктивных систем и ее применения/ Сергей Юрьевич Маслов - Москва: Радио и связь, 1986. - 133с.: табл. - Кибернетика . Библиогр.:с.129-131 Subjects--Topical Terms: Математика--Математическая логика Dewey Class. No.: 51.01:16