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

【研究名】集合論の証明論的研究
【研究代表者】新井 敏康  千葉大学   大学院・理学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000040193049/