An Introduction to Functional Programming Through Lambda Calculus
Greg Michaelson
Mathematical Proofs: A Transition to Advanced Mathematics
Gary Chartrand & Albert Polimeni & Ping Zhang
Six Not-So-Easy Pieces
Richard P. Feynman & Robert B. Leighton & Matthew Sands
The Feynman Lectures on Physics, Vol. I
The Feynman Lectures on Physics (1)
What Is Real?
Adam Becker