Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Geometric Quantization
N. M. J. Woodhouse
Complete Works of Aristotle, Volume 1
Aristotle, Barnes, J.
Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Practical Electronics for Inventors, Fourth Edition
Paul Scherz & Simon Monk