Список литературы по математической логике

 

  1. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1987.
  2. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Физматлит, 2004.
  3. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984.
  4. Клини С. К. Математическая логика. – М.: Мир, 1973.
  5. Гильберт Д., Аккерман В. Основы теоретической логики. – М.: ИЛ, 1947.
  6. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. – М.: Изд-во Моск. ун-та, 1982.
  7. Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1986.
  8. Девис М. Прикладной нестандартный анализ. – М.: Мир, 1980.
  9. Успенский В.А. Что такое нестандартный анализ? – М.: Наука, 1987.
  10. Математическая теория логического вывода. Сб. переводов. – М.: Наука, 1967.
  11. Новиков П. С. Элементы математической логики. – М.: Наука, 1973.
  12. Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем. – М.: Наука, 1983.
  13. Игошин В.И. Математическая логика и теория алгоритмов. – М.: ИЦ Академия, 2004.
  14. Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов. – М.: ИЦ Академия, 2006.
  15. Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов. – М.: ИНФРА-М, Новосибирск: Изд-во НГТУ, 2004.
  16. Фейс Р. Модальная логика. – М.: Наука, 1974.
  17. Энгелер Э. Метаматематика элементарной математики. – М.: Мир, 1987.
  18. Грэй П. Логика, алгебра и базы данных. – М.: Машиностроение, 1989.
  19. Яглом И.М. Булева структура и ее модели. М.: Сов. радио, 1980.
  20. Шабунин Л.В. Математическая логика. Логика высказываний и логика предикатов. – Чебоксары: Изд-во Чуваш. ун-та, 2003.