Undecidable theories/ In collaboration with Andrzej Mostowski and Raphael M. Robinson.
Series: Studies in logic and the foundations of mathematicsPublication details: Amsterdam: North-Holland, 1968.Edition: [2d printing]Description: xi, 101 p.: 23 cmSubject(s): DDC classification:- 511.3 T193u
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 T193u 1968 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000572456 |
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 | No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | ||
| 511.3 T193e 1937 IMPA Einführung in die mathematische logik und in die methodologie der mathematik/ | 511.3 T193i 1965 IMPA Introduction to logic and to the methodology of deductive sciences/ | 511.3 T193o 1956 IMPA Ordinal algebras/ | 511.3 T193u 1968 IMPA Undecidable theories/ | 511.3 T314 1979 IMPA O Teorema de Gödel e a hipótese do contínuo: antologica/ | 511.3 T396 1970 IMPA The theory of models/ | 511.3 T431s 1968 IMPA Sense and reference in Frege's logic. |
Bibliography: p. 89-91.
There are no comments on this title.