Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Electrochemical Methods Fundamentals & Applications-Wiley
Allen J. Bard, Larry R. Faulkner
Dirty Genes: A Breakthrough Program to Treat the Root Cause ...
Ben Lynch
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin