Курс математической логики для студентов специальностей ПМ и ПМИ.