著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Cooper, S. B. (S. Barry) and Truss, J. K","Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997",,Cambridge University Press,1999,London Mathematical Society lecture note series,,0521635497,,https://cir.nii.ac.jp/crid/1130000794119814528