著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Müller, G. H. (Gert Heinz) and Richter, Michael M.","Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II",,Springer-Verlag,1984,Lecture notes in mathematics,,"354013901X,038713901X",,https://cir.nii.ac.jp/crid/1130282272182369408