Print version: 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. Providence, Rhode Island : American Mathematical Society, [2000] xvi, 320 pages ; 26 cm. Contemporary mathematics ; 257 ISBN 9780821819227