著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Larrazabal, Jesús M and Lascar, D. (Daniel) and Mints, G","Logic Colloquium '96 : proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996",,Springer,1998,Lecture notes in logic,,354064668X,,https://cir.nii.ac.jp/crid/1130000794943459712