「証明論」に関するサイレントキーワード「順序数解析」が含まれる科研費採択研究1件

【研究名】整列性の証明論的研究
【研究代表者】新井 敏康  東京大学   大学院数理科学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000040193049/