Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Gödel.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam ; North-Holland, 1952.Description: 117 p.: 23 cmSubject(s): DDC classification:- 511.3 M916s
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 M916s 1952 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000100423 |
Includes bibliography.
There are no comments on this title.