著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Ryo Kashima,Completeness of Second Order Propositional Intuitionistic Logics,"Research Reports on Mathematical and Computing Sciences. Ser. C, Computer Science",13422812,Tokyo : Dept. of Mathematical and Computing Sciences,2016-08,,284,1-33,https://cir.nii.ac.jp/crid/1520854806183812352,