著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Gödel '96 (1996 : Brno, Czech Republic) and Hájek, Petr","Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings",,Springer,1996,Lecture notes in logic,,3540614346,,https://cir.nii.ac.jp/crid/1130282270783682176