Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Intuitionistic Type Theory
Per Martin-Lof
Galileo's Error: Foundations for a New Science of Consciousness
Philip Goff
The Count of Monte Cristo : (Unabridged, Illustrated, Table ...
Alexandre Dumas & Jack Black
Four Thousand Weeks: Time Management for Mortals
Oliver Burkeman