著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Logic Colloquium and Oikkonen, J. (Juha) and Väänänen, J. (Jouko)",Logic Colloquium '90,,Springer-Verlag,1993,Lecture notes in logic,,"3540570942,0387570942",,https://cir.nii.ac.jp/crid/1130282272061752704