ВУЗ:
Составители:
Рубрика:
16 Дополнительный список литературы
Библиографический список
[1] Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994. 396 с.
[2] Виноградов И.М. Основы теории чисел. М.: Наука, 1972. 168 с.
[3] Гильберт Д., Аккерман В. Основы теоретической логики. М.: Изд-во иностр. лит
ры, 1947. 304 с.
[4] Гильберт Д., Бернайс П. Основания математики. Логические исчисления и форма
лизация арифметики. М.: Наука, 1979. 560 с.
[5] Гильберт Д., Бернайс П. Основания математики. Теория доказательств. М.: Наука,
1982. 656 с.
[6] Гладкий А.В. Математическая логика. М.: Российск. гос. гуманит. ун-т, 1998. 479 с.
[7] Гудстейн Р.Л. Математическая логика. М.: Изд-во иностр. лит-ры, 1961. 164 с.
[8] Гудстейн Р.Л. Рекурсивный математический анализ. М.: Наука, 1970. 472 с.
[9] Карри Х. Основания математической логики. М.: Мир, 1969. 568 с.
[10] Клини С.К. Математическая логика. М.: Мир, 1973. 480 с.
[11] Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М.: Изд-во
МГУ, 1982. 120 с.
[12] Колмогоров А.Н., Драгалин А.Г. Математическая логика. Дополнительные главы.
М.: Изд-во МГУ, 1984. 120 с.
[13] Линдон Р. Заметки по логике. М.: Мир, 1968. 128 с.
[14] Мальцев А.И. Алгоритмы и рекурсивные функции. М.: Наука, 1965. 392 с.
[15] Мендельсон Э. Введение в математическую логику. М.: Наука, 1971. 320 с.
[16] Новиков П.С. Элементы математической логики. М.: Физматлит, 1959. 400 с.
[17] Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968.
232 с.
[18] Такеути Г. Теория доказательств. М.: Мир, 1978. 416 с.
[19] Черч А. Введение в математическую логику. Т. I. М.: Изд-во иностр. лит-ры, 1960.
488 с.
[20] Успенский В.А. Лекции о вычислимых функциях. М.: Физматгиз, 1960. 492 с.
[21] Успенский В.А. Машина Поста. М.: Наука, 1988. 96 с.
[22] Шенфилд Дж. Математическая логика. М.: Наука, 1975. 528 с.
[23] Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы
Поста. М.: Наука, 1966. 120 с.
Дополнительный список литературы
1. Философская энциклопедия. Т. I – V. (гл. ред. Ф.В. Константинов). М: Советская
энциклопедия. Т. I, 1960; Т. II, 1962; Т. III, 1964; Т. IV, 1967; Т. V, 1970. Cм.
статьи: Аксиома (т. I, с. 31, 32); Алгебра логики (т. I, с. 33-38); Алгоритм (т.
I, с. 38-42); Бесконечная индукция (т. I, с. 153, 154); Вывод (т. I, с. 307-310);
Высказывание (т. I, с. 312, 313); Гедель (т. I, с. 338); Дедукция (т. I, с. 440, 441);
Изоморфизм (т. II, с. 246-249); Интерпретация (т. II, с. 296, 297); Интуиционизм
(т. II, с. 300-302); Исчисление (т. II, с. 387-390); Категорическое суждение (т. II, с.
476); Категоричность системы аксиом (т. II, с. 476); Квантификация предиката
(т. II, с. 485, 486); Квантор (т. II, с. 486, 487); Конструктивное направление (в
математической логике) (т. III, с. 50, 51); Логика высказываний (т. III, с. 205-209);
Ю.Н. Радаев
