The great three-volume Principia Mathematica is deservedly the most famous work ever written on the foundations of mathematics. Its aim is to deduce all the fundamental propositions of logic and mathematics from a small number of logical premisses and primitive ideas, and so to prove that mathematics is a development of logic.
This abridged text of Volume I contains the material that is most relevant to an introductory study of logic and the philosophy of mathematics (more advanced students will of course wish to refer to the complete edition). It contains the whole of the preliminary sections (which present the authors' justification of the philosophical standpoint adopted at the outset of their work); the whole of part I (in which the logical properties of propositions, propositional functions, classes and relations are established); section A of part II (dealing with unit classes and couples); and appendices A and C (which give further developments of the argument on the theory of deduction and truth functions).
Cambridge Mathematical Library
Cambridge University Press has a long and honourable history of publishing in mathematics and counts many classics of the mathematical literature within its list. Some of these titles have been out of print for many years now and yet the methods which they espouse are still of considerable relevance today.