Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Introduction to Quantum Mechanics & Applications to Chemistry
Linus Pauling, E. Bright Wilson Jr.
A Dynamical Theory of the Electromagnetic Field (1996)
James C. Maxwell Thomas F. Torrance James Clerk Maxwell
Life 3.0
Max Tegmark
The origin of species
Darwin, Charles, 1809-1882