М., 1947 Клини С. К. Введение в метаматематику. М., 1957 Мендельсон Э. Введение в математическую логику. М., 1976 Новиков П. С. Элементы математической логики. М., 1959 Черч А. Введение в математическую логику, т. I. М. 1960 Див. також теоретична арифметика Числення висловлень Квантор Правило резолюцій Числення секвенцій Логіка другого порядку Теорема Льовенгейма—Сколема Нормальна форма Сколема Математична логіка Теоретична інформатика