Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel / Andrzej Mostowski.
Series Studies in logic and the foundations of mathematicsEditor: Amsterdam : North-Holland, 1952Descripción: viii, 117 p. ; 22 cmTema(s): Gödel, Kurt, 1906-1978Otra clasificación: 03D35 (03F30)Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 M916 (Browse shelf) | Available | A-105 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
Incluye referencias bibliográficas (p. [116]-117).
MR, 14,3a
There are no comments on this title.