Основы теории моделей

Литература по дисциплине

Основная литература
  1. Кейслер Г., Чень Ч.Ч. Теория моделей. М.: Мир, 1977.
  2. Ершов Ю.Л., Палютин Е.А. Математическая логика. М.: Лань, 2005.
  3. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Наука, 1975.
Дополнительная литература
  1. Справочная книга по математической логике / под ред. Барвайса Дж. 1 том (Теория моделей). М.: Наука, 1982.
  2. Шенфилд Дж. Математическая логика. М.: Наука, 1975.
  3. Булос Дж., Джеффри Р. Вычислимость и логика. М.: Мир, 1994.
  4. Линдон Р. Заметки по логике. М.: Мир, 1968.
  5. Верещагин Н.К., Шень А. Языки и исчисления. М.: МЦНМО, 2000.
  6. Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966.
  7. Куратовский К., Мостовский А. Теория множеств. М.: Мир, 1970.
  8. Верещагин Н.К., Шень А. Начала теории множеств. М.: МЦНМО, 2000.
  9. Мальцев А.И. Алгебраические системы. М.: Наука, 1970.
  10. Хаусдорф Ф. Теория множеств. М.: КомКнига, 2006.