Decidability and generalized quantifiers/ von Andreas Baudisch ... [et al.].
Series: Mathematical research ; Bd. 3.Publication details: Berlin: Akademie-Verlag, 1980.Description: xii, 235 p. ; 24 cmSubject(s): DDC classification:- 511.3 D294
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 D294 1980 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097231 |
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 | ||
| 511.3 D263l 1959 IMPA Lecture notes on mathematical logic: Fall 1959/ | 511.3 D263m 2006 IMPA Mathematics and common sense: a case of creative tension/ | 511.3 D263u 1965 IMPA The undecidable; basic papers on undecidable propositions, unsolvable problems and computable functions/ | 511.3 D294 1980 IMPA Decidability and generalized quantifiers/ | 511.3 D328f 1966 IMPA Les fonctions combinatoires et les isols/ | 511.3 D328r 1960 IMPA Recursive equivalence types/ | 511.3 D426a 1955 IMPA Axiomatique intuitionniste sans negation de la geometrie projective/ |
Includes indexes.
Bibliography: p. 220-229.
There are no comments on this title.