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

Даются определения и интерпретации основных терминов из области искусственного интеллекта (представление знаний, общение на естественном языке, методы поиска решений, планирование целесообразной деятельности, восприятие, обучение, программная и аппаратная поддержка) и пограничных с ней областей (логики, лингвистики, психологии, математики). Приводятся словники на английском, французском, испанском, немецком, польском, венгерском, словацком, чешском, болгарском и румынском языках. Для специалистов в области искусственного интеллекта, вычислительной техники.