В книге доступно и достаточно полно изложены основные разделы современной математической логики и её приложения. Среди тем — логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов, теория моделей и аксиоматическая теория множеств. При этом в отличие от некоторых других пособий (например, книги С. К. Клини «Введение в метаматематику») в работе не затрагиваются интуиционистское и конструктивное направления математической логики.