Goodreads helps you keep track of books you want to read.
Start by marking “Introduction to Metamathematics” as Want to Read:
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 subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning poi ...more
Hardcover, 560 pages
Published January 15th 1980 by North-Holland
(first published 1971)
To see what your friends thought of this book, please sign up.
I first read this in my first term at university – reading mathematics with logic – and enjoyed the clarity and economy of explanation. I subsequently lent this copy to my good friend, Mark, an excellent companion as good friends go – and as good friends go, he went… off to America, book in tow. Apologies to Saki (HH Munro) for the blatant plagiarism! I have subsequently purchased my own copy which I will not be lending to friends, good or otherwise. For an introduction to metamathematics (sic!) ...more