Библиография

Исчисление предикатов

Марков А. А. О логике конструктивной математики. – Москва : Знание, 1972. – (Новое в жизни, науке, технике. Серия «Математика, кибернетика» ; 8).

Новиков П. С. Элементы математической логики. – 2-е изд., испр. – Москва : Наука, 1973. – (Математическая логика и основания математики).

Клини С. К. Математическая логика / пер. с англ. Ю. А. Гастева. – Изд. 4-е. – Москва : ЛКИ, 2008. – (Физико-математическое наследие. Математика. Основания математики и логика).