著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Symposium on the Theory of Models and Addison, J. W. (John West) and University of California, Berkeley and Association for Symbolic Logic and International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science and Henkin, Leon and Tarski, Alfred",The theory of models : proceedings of the 1963 International Symposium at Berkeley,,North-Holland,1965,Studies in logic and the foundations of mathematics,,0720422337,,https://cir.nii.ac.jp/crid/1130000796908372608