Sequentially Continuous Linear Mappings in Constructive Analysis
暂无分享,去创建一个
[1] Nieuw Archief voor Wiskunde , 1892 .
[2] Douglas S. Bridges. Sequential, Pointwise, and Uniform Continuity: A Constructive Note , 1993, Math. Log. Q..
[3] Hajime Ishihara. Continuity and Nondiscontinuity in Constructive Mathematics , 1991, J. Symb. Log..
[4] Douglas S. Bridges,et al. Bounded linear mappings of finite rank , 1981 .
[5] F. Richman,et al. Varieties of Constructive Mathematics: CONSTRUCTIVE ALGEBRA , 1987 .