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 |
Bibliography: p. 208-209.
There are no comments on this title.