スポンサーリンク

Department of Mathematics, University of Tsukuba | 論文

• A Subsystem of Classical Analysis proper to Takeuti's Reduction Method for $\Pi^1_1$-Analysis(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

スポンサーリンク