2018年 乗法的論理結合子の一般化と証明網について 哲學 西牟田 祐樹 巻 号 141 開始ページ 29 終了ページ 51 記述言語 日本語 掲載種別 研究論文(大学,研究機関等紀要) エクスポート BibTeX RIS