著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Drake, F. R. (Frank Robert) and Truss, J. K","Logic Colloquium '86 : proceedings of the colloquium held in Hull, U.K., July 13-19, 1986",,North-Holland,1988,Studies in logic and the foundations of mathematics,,0444703268,,https://cir.nii.ac.jp/crid/1130282269341993344