Computability Theory and Its Applications: Current Trends and Open Problems: Proceedings of a 1999 Ams-Ims-Siam, Joint Summer Research Conference, ... Applications, June (Contemporary Mathematics)