The Principles Of Mathematics
by Bertrand Russell
Publisher: W. W. Norton & Company
Number of pages: 579
Russell's classic 'The Principles of Mathematics' sets forth his landmark thesis that mathematics and logic are identical -- that what is commonly called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on twentieth-century work on logic and the foundations of mathematics.
Home page url
Download or read it online for free here:
by Robert A. Herrmann
This is Robert Herrmann's elementary book in mathematical logic that includes all basic material in the predicate and propositional calculus presented in a unique manner. Neither proof requires specialized mathematical procedures.
by A. S. Troelstra - CSLI
This text deals with logical formalism, cut-elimination, the embedding of intuitionistic logic in classical linear logic, proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.
by Stephen G. Simpson - Pennsylvania State University
Lecture notes for all mathematics graduate students. The text covers propositional calculus, predicate calculus, proof systems, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.
by P.D. Magnus
An introduction to sentential logic and first-order predicate logic with identity, logical systems that influenced twentieth-century analytic philosophy. The book should help students understand quantified expressions in their philosophical reading.