"鹿島亮,中村知己","二階の関数記号を持つ一階述語論理について","日本数学会2017年度秋季総合分科会","数学基礎論および歴史分科会アブストラクト集",,,,,2017,Sept.
"Ryo Kashima","On Second Order Propositional Intuitionistic Logics",,"Philosophical Logic: Current Trends in Asia",,,,,2017,June