Работа проф. А. И. Попова является первой советской книгой, в которой дается общий очерк математической логики. В книге дан краткий
исторический обзор возникновения математической логики, популярно излагаются основные направления современной математической логики,
особое внимание уделяется вопросу о соотношении математической и классической (формальной) логики, рассматривается место математической
логики в системе научного познания. В работе указываются практические приложения математической логики как основы для конструирования и работы разнообразных «умных» и «думающих»
машин.
Книга рассчитана на научных работников,
аспирантов, студентов и учителей средней школы, а также на широкие круги читателей, интересующихся философией, логикой и математикой.