招待有り 筆頭著者 2015年12月1日 図形は「おまけ」？―数学・論理学における証明 砧通信 竹村亮 巻 号 44 開始ページ 46 終了ページ 49 記述言語 日本語 掲載種別 その他 出版者・発行元 日本大学商学部 日本大学商学部 エクスポート BibTeX RIS
