著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Chong, Chi-Tat","E-recursion, forcing and C*-algebras",,World Scientific,2014,"Lecture notes series, Institute for Mathematical Sciences, National University of Singapore",,"9789814602631,9789814603256",,https://cir.nii.ac.jp/crid/1130000794136211200