В книге сравнительно небольшого объема освещается широкий круг вопросов. В ней излагаются следующие темы: логика высказываний и логика предикатов, элементарные теории, формализованная арифметика, аксиоматическая теория множеств, теория алгоритмов. Изложению присуща ясность, простота и лаконичность. Значительная роль в книге отведена упражнениям, куда вынесена часть материала, используемого в основном тексте. (Подробнее)
