51/М316    М 31     Маслов, С. Ю.     Теория дедуктивных систем и ее применения [Текст] / С.Ю. Маслов. - М. : Радио и связь, 1986. - 135 с. - (Кибернетика). - Библиогр.: с.129-131 (61 назв.) . - Б. ц. ГРНТИ 27.03.19 УДК 510.6 519.7 Рубрики: Исчислений теория    Математическая логика Экземпляры всего: 1 ХР (1) Свободны: ХР (1)