Godel's incompleteness theorems : a guided tour through Kurt Godel's historic proof
Material type:
- 9783662695494
- 511.3 HOF-G
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
IIITD General Stacks | Mathematics | 511.3 HOF-G (Browse shelf(Opens below)) | Available | 013321 |
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.