Введение в математическую логику

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