Generalized recursion theory II: proceedings of the 1977 Oslo symposium/ edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks.
Series: Studies in logic and the foundations of mathematics ; v. 94.Publication details: Amsterdam ; New York: North-Holland, New York: Sole distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1978.Description: vii, 417 p. ; 23 cmISBN:- 0444851631
- 511.3 G326
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 G326 1978 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000101660 |
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 | ||||||
511.3 G294a 1972 IMPA Algebraic theory of automata/ | 511.3 G322b 1968 IMPA Basic concepts of mathematics and logic/ | 511.3 G326 1974 IMPA Generalized recursion theory. Proceedings of the 1972 Oslo symposium/ | 511.3 G326 1978 IMPA Generalized recursion theory II: proceedings of the 1977 Oslo symposium/ | 511.3 G336g 1984 IMPA Godel's theorem simplified/ | 511.3 G424l 2015 IMPA Logic in computer science. II/ | 511.3 G434p 1938 IMPA Phénoménologie unitaire; recherches sur les propriétés générales de l'évolution/ |
There are no comments on this title.