著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "Benthem, J. F. A. K. van and Stanford University. Center for the Study of Language and Information",A manual of intensional logic,"2nd ed., rev. and expanded",Center for the Study of Language and Information,1988,CSLI lecture notes,,"093707330X,0937073296",,https://cir.nii.ac.jp/crid/1130000794601651200