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