著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Buss, Samuel R. and Hájek, Petr and Pudlák, Pavel","Logic Colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998",,"Association for Symbolic Logic,A K Peters, Ltd.",2000,Lecture notes in logic,,"1568811136,1568811144",,https://cir.nii.ac.jp/crid/1130282269623484032