著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "De Jongh, D. H. J. and Smoryński, C.",Kripke models and the theory of species,,"Department of Mathematics, University of Amsterdam",1974,Report,,,,https://cir.nii.ac.jp/crid/1130007502440478614