Книга
22.12 М316

Маслов, Сергей Юрьевич.
Теория дедуктивных систем и ее применения / С. Ю. Маслов. – М. : Радио и связь, 1986. – 133 с. – (Кибернетика)
Библиогр.: с. 129-131 (61 назв.).

ББК В12

Предметні рубрики = Математика : основания математики, математическая логика : логические исчисления, исчисления высказываний, исчисление предикатов
Предметні рубрики = Энергетика, радиоэлектроника : радиоэлектроника : кибернетика : кибернетические модели

1648277 Ф 1 - 10 комн.