📚 Recommended Mathematics Books
Topology (Munkres) | General Topology (Engelking) | Counterexamples in Topology | Rudin's AnalysisAs an Amazon associate, I earn from qualifying purchases.
I wrote short article “Generalization in ZF” accompanied with Isabelle/ZF sources.
This is a draft and alpha. I await your comments on both the article and Isabelle sources.
I’m sure my Isabelle sources may be substantially improved (and I plan to work over this). Comments are welcome.
After hearing your comments and improving the files, I plan to submit to a math logic journal.
🔬 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.