Image from Amazon.com
Image from OpenLibrary
Image from Baker & Taylor
Gödel's incompleteness theorems/ Raymond M. Smullyan.
Series: Oxford logic guides ; 19.Publication details: New York: Oxford University Press, 1992.Description: xiii, 139 p. ; 23 cmISBN:- 0195046722 (acid-free paper)
- 511.3 S666g
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 S666g 1992 IMPA (Browse shelf(Opens below)) | 1 | Available | Lógica matemática | 39063000096449 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
|
No cover image available No cover image available |
|
|
No cover image available No cover image available |
|
|
||
| 511.3 S666b 2017 IMPA A beginner's further guide to mathematical logic/ | 511.3 S666f 1968 IMPA First-order logic/ | 511.3 S666f 1987 IMPA Forever undecided: a puzzle guide to Gödel/ | 511.3 S666g 1992 IMPA Gödel's incompleteness theorems/ | 511.3 S666t 1961 IMPA Theory of formal systems/ | 511.3 S676r 1987 IMPA Recursively enumerable sets and degrees: a study of computable functions and computably generated sets/ | 511.3 S727 1983 IMPA Southeast Asian Conference on Logic/ |
Includes bibliographical references (p. 136-137) and index.
There are no comments on this title.