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

New to

Learn more

Godel's Incompleteness Theorems

Godel's Incompleteness Theorems by Raymond M. Smullyan
Add to cart
US$ 239.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
160 pages; ISBN 9780190281441
Download in secure EPUB or secure PDF format
Title: Godel's Incompleteness Theorems
Author: Raymond M. Smullyan
Buy, download and read Godel's Incompleteness Theorems (eBook) by Raymond M. Smullyan today!