Беклемишев Лев Дмитриевич, преподаватель курса Введение в теорию доказательств: аспекты неполнотыпреподавание учебного курса