Various Continuity Properties in Constructive Analysis
暂无分享,去创建一个
[1] A. Heyting,et al. Intuitionism: An introduction , 1956 .
[2] Hajime Ishihara. Continuity and Nondiscontinuity in Constructive Mathematics , 1991, J. Symb. Log..
[3] B. Kushner,et al. Lectures on Constructive Mathematical Analysis , 1984 .
[4] Douglas S. Bridges,et al. Sequentially Continuous Linear Mappings in Constructive Analysis , 1998, J. Symb. Log..
[5] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .
[6] Hajime Ishihara,et al. Continuity properties in constructive mathematics , 1992, Journal of Symbolic Logic.
[7] Hajime Ishihara. Sequential Continuity of Linear Mappings in Constructive Mathematics , 1997, J. Univers. Comput. Sci..