МГАПИ, Москва, проф. Мацнев А.П., 2004 г.
Основы математической логики.
Алгебра логики.
Введение в формальные системы.
Исчисление высказываний.
Исчисление предикатов и теории первого порядка.
Неклассические логики.
Теория алгоритмов.
Алгебра логики.
Введение в формальные системы.
Исчисление высказываний.
Исчисление предикатов и теории первого порядка.
Неклассические логики.
Теория алгоритмов.