Fundamentals of generalized recursion theory/ Melvin Fitting.
Series: Studies in logic and the foundations of mathematics ; v. 105.Publication details: Amsterdam ; New York: North-Holland, New York: Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, c1981.Description: xx, 307 p.: ill.; 23 cmISBN:- 0444861718 (U.S.)
- 511.3 F547f
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F547f 1981 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000300106 |
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 F435m 1965 IMPA Modal logics./ | 511.3 F533f 1982 IMPA Formal number theory and computability: a workbook/ | 511.3 F533f 1982 IMPA Formal number theory and computability: a workbook/ | 511.3 F547f 1981 IMPA Fundamentals of generalized recursion theory/ | 511.3 F671p 1985 IMPA The philosophy of Niels Bohr: the framework of complementarity/ | 511.3 F723 1965 IMPA Formal systems and recursive functions; proceedings/ | 511.3 F724 1981 IMPA Formal methods in the study of language/ |
Includes index.
Bibliography: p. 297-302.
There are no comments on this title.