Homotopy Type Theory: Univalent Foundations of Mathematics
Unknown
Purely Functional Data Structures
Chris Okasaki
Elemental
Tim James
The Feynman Lectures on Physics, Vol. III
Richard P. Feynman & Robert B. Leighton & Matthew Sands
The Feynman Lectures on Physics (1)
Quantum Space
Jim Baggott