Publisher
Springer International Publishing
Reference53 articles.
1. Bartle, R.G.: Nets and filters in topology. Am. Math. Mon. 62, 551–557 (1955)
2. Beeson, M.J.: Foundations of Constructive Mathematics: Metamathematical Studies. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 6. Springer, Heidelberg (1985). https://doi.org/10.1007/978-3-642-68952-9
3. Birkhoff, G.: Moore-smith convergence in general topology. Ann. Math. 38(1), 39–56 (1937)
4. Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)
5. Borel, E.: Leçons sur la théorie des fonctions. Gauthier-Villars, Paris (1898)