Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Collected Works of C.G. Jung: Volume 12: Psychology and ...
C. G. Jung
Great Transformations: Economic Ideas and Institutional Change ...
Mark Blyth
Game Programming Gems 7
Scott Jacobs
Maps of Meaning: The Architecture of Belief
Jordan B. Peterson