著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "岡田, 光弘",Note on the Strong Normalizability of the Logic with Self-Referential Predicates,哲學,0563-2099,三田哲學會,1993-07,95,,1-14,https://cir.nii.ac.jp/crid/1050845762336106112,