著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ISILC Proof Theory Symposium and Schütte, K. (Kurt) and Diller, Justus and Müller, G. H. (Gert Heinz) and International Summer Institute and Logic Colloquium","ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974",,Springer-Verlag,1975,Lecture notes in mathematics,,"354007533X,038707533X",,https://cir.nii.ac.jp/crid/1130282270627371648