Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...
«Введение в математическую логику» Э. Мендельсон В книге Э.Мендельсона "Введение в математическую логику" даётся доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С.К. Клинин "Введение в математику", которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С.К. Клинин в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логике.Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Воспроизведено в оригинальной авторской орфографии издания 1971 года (издательство "Наука"). Это и многое другое вы найдете в книге Введение в математическую логику (Э. Мендельсон). Напишите свою рецензию о книге Э. Мендельсон «Введение в математическую логику» http://izbe.ru/book/256521-vvedenie-v-matematicheskuyu-logiku-e-mendelson/