Sendai Logic - 仙台ロジック
Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan
2018.05.25. 横山 啓太
一階算術・二階算術とラムゼイの定理
READ MORE
2018.05.18. 古川 大樹
RCA_0におけるハーリントンの定理とπ^1_ 1式の証明の長さの比較
READ MORE
2018.04.27. 田中 一之
無限ゲームと様相μ計算
READ MORE
1
2
3
4
Pages
Home
Archives
Members
CTFM
SLS
About
Links
Kazuyuki Tanaka's Homepage