


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...

""Introduction to Metamathematics"" by Stephen Cole Kleene is a comprehensive guide to the foundations of mathematical logic and the philosophy of mathematics. The book covers a range of topics, including propositional logic, first-order logic, set theory, and the incompleteness...


![Introduction to Metamathematics [German] B002G8S7DQ Book Cover](https://m.media-amazon.com/images/I/41fiIoTxhyL._SL500_.jpg)