著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Symposia and Müller, G. H. (Gert Heinz) and 竹内, 外史 and 柘植, 利之","Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980",,Springer-Verlag,1981,Lecture notes in mathematics,,"3540111611,0387111611",,https://cir.nii.ac.jp/crid/1130282270862941696