3087pv
6
晴れのちところにより一時ゼルプスト殿下
@tenapi
数理論理学と集合論を専攻する数学者のハシクレ。
-
Turing次数理論のMartin予想をめぐる対話
3087pv
6
-
2013年6月11日のハヤシライス
1054pv
4
-
集合論家DIkeさんと証明論家GLogさんの対話
3652pv
14
1 user