Математическая логика
Математика
  • формат djvu
  • размер 5,41 МБ
  • добавлен 26 октября 2015 г.
Мендельсон Э. Введение в математическую логику
2е изд., испр. — Москва: Наука, 1976. — 320 с.
Текстовый слой, Оглавление.
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте.
Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.
Похожие разделы