著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Makowsky, Johann A. and Ravve, Elena V. and Association for Symbolic Logic","Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995",,Springer,1998,Lecture notes in logic,,3540639942,,https://cir.nii.ac.jp/crid/1130000795850734336