An Introduction to the foundations and fundamental concepts of matematics - EVES, Howard (Halt, Rinehart, 1964)