Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
New Foundations for Classical Mechanics
D. Hestenes
The Collected Works of C.G. Jung: Volume 12: Psychology and ...
C. G. Jung
Hierocles the Stoic: Elements of Ethics, Fragments, and Excerpts
Ilaria Ramelli
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar