Meditations
Marcus Aurelius
René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
Maps of Meaning: The Architecture of Belief
Jordan B. Peterson
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program