Undecidable theories / by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson.
Series Studies in logic and the foundations of mathematicsEditor: Amsterdam : North-Holland, 1953Descripción: xi, 98 p. ; 22 cmOtra clasificación: 03D35 (03B25)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 T193u (Browse shelf) | Available | A-149 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 T136 Axiomatic set theory / | 03 T193 Logic, semantics, metamathematics : | 03 T193ie Introducción a la lógica : | 03 T193u Undecidable theories / | 03 T315 Fuzzy systems theory and its applications / | 03 T315 Fuzzy systems theory and its applications / | 03 T463 Symbolic logic : |
Incluye referencias bibliográficas (p. 89-91).
MR, 15,384h
There are no comments on this title.