ВУЗ:
Составители:
Рубрика:
Список литературы
Учебники
1. Гильберт Д., Аккерман В. Основы теоретической логики. М.:
Иностр. лит., 1947.
2. Гладкий А.В. Математическая логика. М.: Изд-во Рос. гос. гум.
ун-та, 1998.
3. Гудстейн Р.Л. Математическая логика. М.: Иностр. лит., 1961.
4. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Нау-
ка, 1979.
5. Клини С.К. Математическая логика. М.: Мир, 1973.
6. Колмогоров А.Н., Драгалин А.Г. Введение в математическую
логику. М.: МГУ, 1982.
7. Колмогоров А.Н., Драгалин А.Г. Математическая логика. До-
полнительные главы. М.: МГУ, 1984.
8. Мендельсон Э. Введение в математическую логику. М.: Наука,
1976.
9. Новиков П.С. Элементы математической логики. М.: Наука,
1973.
10. Черч А. Введение в математическую логику. Т.I. М.: Иностр.
лит., 1960.
11. Шенфилд Дж. Математическая логика. М.: Наука, 1975.
Задачники
12. Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972.
13. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, ма-
тематической логике и теории алгоритмов. М.: Наука, 1984.
77
