著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Homer, S. (Steven) and Odifreddi, Piergiorgio and Centro internazionale matematico estivo. Session and C.I.M.E. Meeting on Logic and Computer Science","Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988",,Springer-Verlag,1990,Lecture notes in mathematics,,"3540527346,0387527346",,https://cir.nii.ac.jp/crid/1130000796619707264