共 44 条
- [1] [Anonymous], 2003, SOBOLEV SPACES
- [3] Avigad J., ARXIV13013063
- [4] Uncomputably Noisy Ergodic Limits [J]. NOTRE DAME JOURNAL OF FORMAL LOGIC, 2012, 53 (03) : 347 - 350
- [5] Avigad J, 2010, T AM MATH SOC, V362, P261
- [6] Birkhoff G., 1939, DUKE MATH J, V5, P19
- [7] BISHOP E, 1968, J MATH MECH, V17, P631
- [8] BISHOP E, 1966, MICH MATH J, V13, P1
- [9] Bishop E., 1967, Foundations of constructive analysis