Верещагин Николай Константинович, преподаватель курса Сложность пропозициональных доказательствпреподавание учебного курса