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

【研究名】イプシロン代入法に関する研究
【研究代表者】新井 敏康  神戸大学   大学院工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000040193049/	
【研究名】公理論的集合論の証明論的研究
【研究代表者】新井 敏康  広島大学   総合科学部   助教授 	https://nrid.nii.ac.jp/ja/nrid/1000040193049/