Пособие написано в соответствии с действующей программой по математической логике для педагогических вузов. Рассмотрены следующие темы: язык логики высказываний, исчисления высказываний, язык логики предикатов, исчисления предикатов, теории первого порядка. Центральное место занимает изложение основ теории доказательств. Отдельный раздел посвящен проблемам оснований математики. Курс лекций предназначен для студентов математических факультетов педвузов, изучающих математическую логику, а также для преподавателей, читающих лекционный курс и ведущих практические занятия по математической логике.
Posobie napisano v sootvetstvii s dejstvujuschej programmoj po matematicheskoj logike dlja pedagogicheskikh vuzov. Rassmotreny sledujuschie temy: jazyk logiki vyskazyvanij, ischislenija vyskazyvanij, jazyk logiki predikatov, ischislenija predikatov, teorii pervogo porjadka. Tsentralnoe mesto zanimaet izlozhenie osnov teorii dokazatelstv. Otdelnyj razdel posvjaschen problemam osnovanij matematiki. Kurs lektsij prednaznachen dlja studentov matematicheskikh fakultetov pedvuzov, izuchajuschikh matematicheskuju logiku, a takzhe dlja prepodavatelej, chitajuschikh lektsionnyj kurs i veduschikh prakticheskie zanjatija po matematicheskoj logike.
