Контакты:

Курс Математическая логика лежит в основе всех математических курсов и является базовым для всех курсов по иформатике.