Your search returned 2 results.

Sort
Results
1.
Recursion theory: its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979/ edited by F. R. Drake and S. S. Wainer. by
  • Drake, F. R. (Frank Robert)
  • Wainer, S. S
  • Logic Colloquium (1979 : Leeds, Yorkshire)
Series: London Mathematical Society lecture note series ; 45.
Publication details: Cambridge, UK New York: Cambridge University Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.352 R311 1980 IMPA.

2.
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.

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


Powered by Koha