Sendai Logic - 仙台ロジック
Mathematical Institute, Graduate School of Science, Tohoku University
2018.05.18. 古川 大樹
RCA_0におけるハーリントンの定理とπ^1_ 1式の証明の長さの比較
READ MORE
15
16
17
18
19
Pages
Kazuyuki Tanaka's CV
Publications
Books
CTFM
SLS