著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Stern, J.","Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981",,North-Holland,1982,Studies in logic and the foundations of mathematics,,0444864172,,https://cir.nii.ac.jp/crid/1130282270736819584