Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko
Book of Proof
Richard Hammack
Grain Brain
David Perlmutter
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson