Your search returned 2 results.

Sort
Results
1.
Computability theory and its applications: current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, June 13-17, 1999, University of Colorado, Boulder/ Peter A. Cholak ...[et al.], editors. by
  • Cholak, Peter, 1962-
  • AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Computability Theory and Applications (1999: University of Colorado, Boulder)
Series: Contemporary mathematics (American Mathematical Society) ; v. 257.
Publication details: Providence, R.I.: American Mathematical Society, c2000
Availability: Items available for loan: Castorina (1).

2.
Automorphisms of the lattice of recursively enumerable sets/ Peter Cholak. by
  • Cholak, Peter, 1962-
Series: Memoirs of the American Mathematical Society ; no. 541.
Publication details: Providence, R.I.: American Mathematical Society, 1995
Availability: Items available for loan: Castorina (1).

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


Powered by Koha