Данное учебное пособие состоит из введения и семи глав. Во введении приводятся краткие исторические сведения о развитии математической логики, о причинах, стимулирующих ее развитие, и о вкладе советских ученых в разработку проблем математической логики и ее приложений.