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