著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Stoltenberg-Hansen, Viggo and Väänänen, J. (Jouko) and Association for Symbolic Logic","Logic Colloquium '03 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003",,"Association for Symbolic Logic,A K Peters",2006,Lecture notes in logic,,"1568812930,1568812949",,https://cir.nii.ac.jp/crid/1130000795239819904