Гуров Сергей Исаевич, преподаватель курса Исчисления высказываний классической и интуиционистской логик. Часть Iпреподавание учебного курса