A brief introduction to type theory and the univalence axiom
Jackson Macor
Livewired: The Inside Story of the Ever-Changing Brain
David Eagleman
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman
Linear Algebra Through Geometry
Thomas Banchoff, John Wermer
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin