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

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