The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader ...

New to

Learn more

Godel's Incompleteness Theorems

Godel's Incompleteness Theorems
Add to cart
US$ 209.99
(If any tax is payable it will be calculated and shown at checkout.)
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