Your search returned 2 results.

Sort
Results
1.
Computability, enumerability, unsolvability: directions in recursion theory/ edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. by
  • Cooper, S. B. (S. Barry)
  • Slaman, T. A. (Theodore Allen), 1954-
  • Wainer, S. S
Series: London Mathematical Society lecture note series ; 224
Publication details: Cambridge, UK; New York: Cambridge University Press, 1996
Availability: Items available for loan: Castorina (1)Call number: 511.3 C738 1996 IMPA.

2.
Classical recursion theory: the theory of functions and sets of natural numbers/ Piergiorgio Odifreddi. by
  • Odifreddi, Piergiorgio, 1950-
Series: Studies in logic and the foundations of mathematics ; v. 125.
Publication details: Amsterdam; New York: New York: North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science, 1989
Availability: Items available for loan: Castorina (1)Call number: 511.3 O24c 1989 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha