Computability, enumerability, unsolvability: directions in recursion theory/ edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
Series: London Mathematical Society lecture note series ; 224Publication details: Cambridge, UK; New York: Cambridge University Press, 1996.Description: vii, 347 p.; 23 cmISBN:- 0521557364 (pbk.)
- 511.3 C738
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 C738 1996 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000611411 |
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 | |||||||
511.3 C737 1998 IMPA Complexity and real computation/ | 511.3 C738 1989 IMPA Computational complexity theory/ | 511.3 C738 1990 IMPA Computational solution of nonlinear systems of equations/ | 511.3 C738 1996 IMPA Computability, enumerability, unsolvability: directions in recursion theory/ | 511.3 C738 2017 IMPA Computational mathematics, numerical analysis and applications: lecture notes of the XVII 'Jacques-Louis Lions' Spanish-French School/ | 511.3 C746 1974 IMPA Condorcet: mathématique et société/ | 511.3 C764 1968 IMPA Contributions to mathematical logic: Proceedings of the Logic Colloquium, Hannover 1966/ |
Includes bibliographical references.
There are no comments on this title.