Теория и методика обучения и воспитания (по областям и уровням образования). Диссертация Методическая система обучения студентов педагогических вузов математической логике на основе теории естественного вывода : диссертация ... доктора педагогических наук : 13.00.02, Москва, 2005