Philosophy of mathematics and deductive structure in Euclidʹs Elements - Mueller, Ian (Dover Books on Mathematics, 2006)