Курс математической логики для студентов математических специальностей педагогических вузов имеет своей целью изложить основы этой науки, познакомить студентов с формализованным аксиоматическим методом построения математических теорий, охватывающим также и логические средства; его основными составными частями: языком, аксиомами, правилами вывода; проблемами непротиворечивости, полноты, разрешимости теорий. Приведены пояснительная записка, учебно-тематический план, содержание дисциплины, организация самостоятельной работы и контрольно-оценочной деятельности, учебно-методическое и информационное обеспечение программы. Программа разработана на кафедре алгебры и теории чисел УрГПУ. Электронная версия издания размещена на сайте математического факультета УрГПУ