「証明論」に関するサイレントキーワード「項書き換えシステム」が含まれる科研費採択研究1件

【研究名】論理学のプログラム言語理論への応用
【研究代表者】岡田 光弘  慶應義塾大学   文学部   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/