Аннотация
В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте.
Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.


![Физика, астрономия, экономика и другие точные науки основаны на математике — это понятно всем. Но взаимосвязь математики и творчества не столь очевидна. А ведь она... Обман чувств [Наука о перспективе]](https://www.rulit.me/data/programs/images/obman-chuvstv-nauka-o-perspektive_415064.jpg)
![Каждый из нас способен умножать, делить, возводить в степень и производить другие операции над большими числами в уме и с большой скоростью. Для этого не нужно... Магия чисел [Моментальные вычисления в уме и другие математические фокусы]](https://www.rulit.me/data/programs/images/magiya-chisel-momentalnye-vychisleniya-v-ume-i-drugie-matema_383285.jpg)


Комментарии к книге "Введение в математическую логику"