 Название: Введение в математическую логику
Автор: Мендельсон Э.
Издательство: М.: Наука
Год: 1971
Cтраниц: 320
Формат: pdf
Размер: 13 мб
Язык: русский
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.
Скачать Мендельсон Э. - Введение в математическую логику
|
Навигация
Вход на сайт
Реклама
Введение в математическую логику (1971) 
