📚 Recommended Mathematics Books
Topology (Munkres) | General Topology (Engelking) | Counterexamples in Topology | Rudin's AnalysisAs an Amazon associate, I earn from qualifying purchases.
In the article Generalization in ZF [HTML]
I formally define the notion of generalization in ZF set theory.
I also formalized the results of that article in the form of Isabelle proof assistant source files. You can download [HTML] the Isabelle files.
🔬 Advanced Mathematics References
- Sheaves in Geometry and Logic
- Categories for the Working Mathematician
- Stone Spaces
- Algebraic Topology (Hatcher)
- Concrete Mathematics
As an Amazon associate I refer fromm qualifying purchases.