Crafting Interpreters
Timothy Andrew
Descartes on Polyhedra: A Study of the De Solidorum Elementis
Pasquale Joseph Federico
Intuitionistic Type Theory
Per Martin-Lof
Options, Futures, and Other Derivatives, Global Edition, 9/e
John C. Hull
Anti-Tech Revolution: Why and How
Theodore John Kaczynski