著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Sieg, Wilfried and Workshop on Logic and Computation","Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987",,American Mathematical Society,1990,Contemporary mathematics,,0821851101,,https://cir.nii.ac.jp/crid/1130000795704721280