著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Baaz, Matthias and Friedman, Sy D. and Krajíček, Jan and Association for Symbolic Logic","Logic Colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001",,A.K. Peters,2005,Lecture notes in logic,,"1568812477,1568812485",,https://cir.nii.ac.jp/crid/1130000794864365312