Godel's Incompleteness Theorems
- Binding: Hardcover
- Publisher: Oxford University Press
- Publish date: 08/01/1992
Description:
1: The General Idea Behind Gdel's Proof2: Tarski's Theorem for Arithmetic3: The Incompleteness of Peano Arithmetic with Exponentation4: Arithmetic Without the Exponential5: Gdel's Proof Based on Consistency6: Rosser Systems7: Shepherdson's Representation Theorems8: Definability and Diagonalization9: The Unprovability of Consistency10: Some General Remarks on Provability and Truth11: Self-Referential Systems
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller | Condition | Comments | Price |
Ergodebooks_N
|
Good |
$81.89
|
|
Bonita
Good
|
$119.30
|
|
BookHouse On-Line
Very Good
|
$140.62
|
|
GridFreed
New |
$154.85
|
Please Wait