Your search returned 4 results.

Sort
Results
1.
Computability, an introduction to recursive function theory/ Nigel Cutland. by
  • Cutland, Nigel
Publication details: Cambridge, UK: New York: Cambridge University Press, 1980
Availability: Items available for loan: Castorina (1)Call number: 511.3 C989c 1980 IMPA.

2.
Recursion on the countable functionals/ Dag Normann. by
  • Normann, Dag, 1947-
Series: Lecture notes in mathematics (Springer-Verlag) ; 811.
Publication details: Berlin; New York: Springer-Verlag, 1980
Availability: Items available for loan: Castorina (1).

3.
Computability theory/ Rebecca Weber. by
  • Weber, Rebecca, 1977-
Series: Student mathematical library ; v. 62.
Publication details: Providence, R.I.: American Mathematical Society, c2012
Availability: Items available for loan: Castorina (1)Call number: 511.3 W375c 2012 IMPA.

4.
Computable analysis: an introduction/ Klaus Weihrauch. by
  • Weihrauch, K. (Klaus), 1943-
Series: Texts in theoretical computer science
Publication details: Berlin; New York: Springer-Verlag, c2000
Availability: Items available for loan: Castorina (1)Call number: 515 W419c 2000 IMPA.

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


Powered by Koha