Ikeda Kazuma | Institute Of Mathematics University Of Tsukuba
スポンサーリンク
概要
関連著者
-
Ikeda Kazuma
Institute Of Mathematics University Of Tsukuba
-
Kazuma Ikeda
Institute Of Mathematics University Of Tsukuba
著作論文
- Normal forms for derivations in Arai's AI^-_ζ
- A normal form for arithmetical derivations implying the ω-consistency of arithmetic