论文信息 - Constructive Real Analysis - 字舞流文

Constructive Real Analysis

Allen A. Goldstein | A. Goldstein

[1] J. Dieudonne. Foundations of Modern Analysis , 1969 .

[2] E. Landau,et al. Grundlagen der Analysis , 1934 .

[3] A. Heyting. Die intuitionistische Grundlegung der Mathematik , 1931 .