著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
鈴木 信行,ある直観主義的認識論理とそのKripke型意味論,"Proceedings of the 42nd MLG meeting at Fukuoka, Japan 2008",,,2008,,,43-46,https://cir.nii.ac.jp/crid/1010000782473796866,