Godel's incompleteness theorems : a guided tour through Kurt Godel's historic proof
Material type:
TextPublication details: Germany : Springer, ©2024Description: xix, 385 p. : col. ill. ; 24 cmISBN: - 9783662695494
- 511.3 HOF-G
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
IIITD General Stacks | Mathematics | 511.3 HOF-G (Browse shelf(Opens below)) | Available | 013321 |
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Mathematics Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 511.3 FER-M Models of computation : | 511.3 HAL-N Naive set theory | 511.3 HAM-B Book of proof | 511.3 HOF-G Godel's incompleteness theorems : a guided tour through Kurt Godel's historic proof | 511.3 HOP-I Introduction to automata theory, languages, and computation | 511.3 HOP-I Introduction to automata theory, languages, and computation | 511.3 JAR-F First steps in several complex variables : |
Includes bibliographical references and index.
1. Introduction
2. Foundations of mathematics
3. Proof sketch
4. System P
5. Primitive-recursive functions
6. The limits of mathematics
There are no comments on this title.