著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Henkin, Leon and Suppes, Patrick and Tarski, Alfred","The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, December 26, 1957-January 4, 1958",,North-Holland,1959,Studies in logic and the foundations of mathematics,,,,https://cir.nii.ac.jp/crid/1130282272857942912