Einstein's Fridge
Paul Sen
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley
The Little Typer
Daniel P. Friedman & David Thrane Christiansen
The Feynman Lectures on Physics, Vol. III
Richard P. Feynman & Robert B. Leighton & Matthew Sands
The Feynman Lectures on Physics (1)
Homotopy Type Theory: Univalent Foundations of Mathematics
Unknown