Godel's incompleteness theorems
By: Smullyan, Raymond M.
Material type:
BookSeries: Oxford logic guides.Publisher: New York: Oxford University Press, 1992Description: xiii, 139 p.; : 25 cm.ISBN: 0195046722 .Subject(s): Godel's theoremDDC classification: 511.3
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.3 SMU (Browse shelf) | Available | 018833 |
Browsing DAIICT Shelves Close shelf browser
| 511.3 SIP Introduction to the theory of computation | 511.3 SIP Introduction to the theory of computation | 511.3 SMI Introduction to Godel's Theorems | 511.3 SMU Godel's incompleteness theorems | 511.3 SMU First-order logic | 511.3 SOA Recursively enumerable sets and degrees : a study of computable functions and computably generated sets | 511.3 SRI Textbook on automata theory |
There are no comments for this item.