Introduction to Metamathematics

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the... Comments: Kleene's textbook is one of the fundamental texts of mathematical logic. It is... This is one of those books that don't get old; although it was first published... Mathematicians are always aware of the precision and consistency of their... Read More »

Related Items

1. Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
2. Mathematical Logic
3. Introduction to Logic
4. The Axiom of Choice
5. An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)