著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications and Cholak, Peter and Lempp, Steffen and Lerman, M. (Manuel) and Shore, Richard A.","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",,American Mathematical Society,2000,Contemporary mathematics,,0821819224,,https://cir.nii.ac.jp/crid/1130000795934324736