Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Intelligent Investor
Benjamin Graham
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
Collected Works of C.G. Jung, Volume 9 (Part 1): Archetypes ...
Jung, C. G., Hull, R. F.C., Adler, Gerhard
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)