著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "International Congress of Logic, Methodology and Philosophy of Science and Butts, Robert E. and Hintikka, Jaakko","Logic, foundations of mathematics, and computability theory",,D. Reidel,1977,"Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975",,"9027707081,902770709X",,https://cir.nii.ac.jp/crid/1130282270985000064