Philosophy of mathematics and deductive structure in Euclid's Elements - Mueller, Ian (The MIT Press, 1981)