Recursive function theory/ Proceedings of the Fifth Symposium in Pure Mathematics of the American Mathematical Society.
Series: Proceedings of symposia in pure mathematics ; v. 5.Proceedings of symposia in pure mathematics ; v. 5.Publication details: Providence, R.I.: American Mathematical Society, 1962.Description: vii, 247 p.: illus., port.; 26 cmSubject(s): DDC classification:- 511.352 R311
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.352 R311 1962 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000098809 |
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.352 P478r 1957 IMPA Rekursive Funktionen/ | 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/ |
"Sponsored by the American Mathematical Society, the Association for Computing Machinery, and the Association for Symbolic Logic."
Includes bibliographies.
There are no comments on this title.