Учебное пособие состоит из двух частей - курса лекций по математической логике, включающего теоретический материал по ряду разделов: алгебра логики, исчисление высказываний, логика предикатов, математические теории, алгоритмы, и задачника-практикума, содержащего упражнения по перечисленным разделам. Учебное пособие предназначено для студентов университетов и педагогических вузов, изучающих математическую логику.
Uchebnoe posobie sostoit iz dvukh chastej - kursa lektsij po matematicheskoj logike, vkljuchajuschego teoreticheskij material po rjadu razdelov: algebra logiki, ischislenie vyskazyvanij, logika predikatov, matematicheskie teorii, algoritmy, i zadachnika-praktikuma, soderzhaschego uprazhnenija po perechislennym razdelam. Uchebnoe posobie prednaznacheno dlja studentov universitetov i pedagogicheskikh vuzov, izuchajuschikh matematicheskuju logiku.
