Philosophy of mathematics and deductive structure in Euclid's elements - Mueller, Ian (New York Dover Publications, 2006)