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