Introduction to mathematical philosophy, (Library of Philosophy)