Recursion theory: its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979/ edited by F. R. Drake and S. S. Wainer.
Series: London Mathematical Society lecture note series ; 45.Publication details: Cambridge, UK New York: Cambridge University Press, 1980.Description: 319 p.: ill.; 23 cmISBN:- 052123543X
- 511.352 R311
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.352 R311 1980 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098742 |
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 |
![]() |
![]() |
![]() |
![]() |
||
511.352 P478r 1967 IMPA Recursive functions/ | 511.352 Q1 2002 IMPA Quantum computation: a grand mathematical challenge for the twenty-first century and the millennium : American Mathematical Society, Short Course, January 17-18, 2000, Washington, DC/ | 511.352 R311 1962 IMPA Recursive function theory/ | 511.352 R311 1980 IMPA Recursion theory: its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979/ | 511.352 R495m 1981 IMPA Matrix computations and mathematical software/ | 511.352 R719r 1976 IMPA Recursive program schemes: semantics and proof theory/ | 511.36 A461c 2010 IMPA Charming proofs: a journey into elegant mathematics/ |
Includes bibliographical references.
There are no comments on this title.