The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry ...

New to eBooks.com?

Learn more

Godel's Incompleteness Theorems

Godel's Incompleteness Theorems
Add to cart
US$ 209.99
1. The General Idea Behind Gdel's Proof 2. Tarski's Theorem for Arithmetic 3. The Incompleteness of Peano Arithmetic with Exponentation 4. Arithmetic Without the Exponential 5. Gdel's Proof Based on Consistency 6. Rosser Systems 7. Shepherdson's Representation Theorems 8. Definability and Diagonalization 9. The Unprovability of Consistency 10. Some General Remarks on Provability and Truth 11. Self-Referential Systems
Oxford University Press; January 1992
156 pages; ISBN 9781601296412
Download in secure PDF format