René Girard Jean-Michel Oughourlian Guy Lefort
Things hidden since the foundation of the world-Stanford University ...
Linkers and Loaders
John R. Levine
Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko
Stand on Zanzibar
John Brunner
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program