「証明論」に関するサイレントキーワード「認知科学」が含まれる科研費採択研究1件

【研究名】論理哲学の学際研究ー直観主義論理の推論・証明理論を中心として
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/