History of mathematics Log of a course