Here I keep a list of online resources that I have been greatly benefited from.

---

Learning Resources

• The Proof Theory Blog
• Stanford Encyclopedia of Philosophy
• Model Theory Wiki
• Expository Paper by Keith Conrad
• Lean Community
• Metamath

---

Archives

• Logic and Set Theory around the World
• From Frege to Gödel
• Map of the Universe

---

Miscellaneous

• Tips for Mathematical Handwriting
• Bussproofs
• Personal Finance for PhDs
• Quiver
• Detexify