Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Gravity's Rainbow
Thomas Pynchon
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
A treatise on electricity and magnetism
Maxwell, James Clerk, 1831-1879