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.