English Beginner Philosophy of Mathematics and Deductive Structure in Euclid’s Elements Ian Mueller 1981 View book