著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Kurt Gödel Colloquium and Gottlob, Georg and Leitsch, Alexander and Mundici, Daniele and Kurt Gödel Society","Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings",,Springer-Verlag,1993,Lecture notes in computer science,,"0387571841,3540571841",,https://cir.nii.ac.jp/crid/1130000795877594240