A brief introduction to type theory and the univalence axiom
Jackson Macor
A Mathematician's Apology
G. H. Hardy
The E-Myth Revisited: Why Most Small Businesses Don't Work and ...
Michael E. Gerber
Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
Gravitation and Cogravitation: Developing Newton's Theory of ...
Oleg D. Jefimenko
Electromagnetic Retardation and Theory of Relativity: New Chapters ...
Electricity and Magnetism: An Introduction to the Theory of ...
Causality, Electromagnetic Induction, and Gravitation: A Different ...
