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

The Notre Dame Lectures: Lecture Notes in Logic, 18