著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,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 legac",,CRC Press,1996,Lecture notes in logic,,9781568811536,,https://cir.nii.ac.jp/crid/1131130857714930048