著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Logic Colloquium and Ebbinghaus, Heinz-Dieter and Fernandez-Prida, J. and Garrido, M. and Lascar, D. (Daniel) and Rodriquez-Artalejo, M.","Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987",,North-Holland,1989,Studies in logic and the foundations of mathematics,,0444880224,,https://cir.nii.ac.jp/crid/1130000798286178816