Пентус Мати Рейнович, преподаватель курса Полнота исчисления Ламбекапреподавание учебного курса