М 31 |
Маслов, Ю. С. Теория дедуктивных систем и ее применения [Текст] / Ю. С. Маслов. – М. : Радио и связь, 1986. – 136 с. : ил. – (Кибернетика). – 8800.
Книга посвящена молодой, активно развивающейся области математической логики и кибернетики - теории исчислений. |