Sendai Logic - 仙台ロジック Mathematical Institute, Graduate School of Science, Tohoku University

2018.05.18. 古川 大樹

RCA_0におけるハーリントンの定理とπ^1_ 1式の証明の長さの比較

 READ MORE