Тип публикации: учебное пособие
Год издания: 2006
Ключевые слова: радиоэлектроника, кибернетика, Теория автоматов и управляющих машин, учебник для высшей школы, физико-математические науки, математика, Основания математики. Математическая логика, Логические исчисления. Исчисление высказываний, исчисление предикатов
Место издания: Красноярск
Издатель: ИПЦ КГТУ