koob.ru

Мендельсон Эллиот. Книги онлайн

Мендельсон Эллиот

Эллиот Мендельсон (Elliott Mendelson, 1931) — американский логик.

Был профессором математики в Колледже Квинса в Городском университете Нью-Йорка и в Graduate Center, CUNY. Преподавал математику в колледже более 30 лет.

Автор книг по логике, философии математики, исчислению, теории игр и математическому анализу.

Книги (1)

Введение в математическую логику
Раздел: Математика

В книге Э. Мендельсона «Введение в математическую логику» дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С. К. Клини «Введение в метаматематику», которая до настоящего времени служила наиболее полным пособием по математической логике.

Следует однако отметить, что в отличие от книги С.К. Клини в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Книгу можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.

Добавить отзыв
Авторы сайта
Георгий Ефимов & Владимир Никонов
Библиотека «Куб»
Поддержать проектПодписаться