Recursive equivalence types/ by J. C. E. Dekker and J. Myhill.
Series: University of California, Berkeley. University of California publications in mathematics ; new ser., v. 3, no. 3..University of California publications in mathematics ; new ser., v. 3, no. 3.Publication details: Berkeley: University of California Press, 1960.Description: 67-213 p.: 26 cmSubject(s): DDC classification:- 511.3 D328r
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 D328r 1960 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000097256 |
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 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/ | 511.3 D426a 1955 IMPA Axiomatique intuitionniste sans negation de la geometrie projective/ | 511.3 D449 1997 IMPA Descriptive complexity and finite models: proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University/ |
Bibliography: p. 208-209.
There are no comments on this title.