著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Oikkonen, J. (Juha) and Väänänen, J. (Jouko)","Logic Colloquium '90 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, July 15-22, 1990",[reprinted 2001],AK Peters,2001,Lecture notes in logic,,1568811322,,https://cir.nii.ac.jp/crid/1130000793687203456