Coding the Matrix: Linear Algebra Through Computer Science Applications
Philip N. Klein
Intuitionistic Type Theory
Per Martin-Lof
Mathematical Concepts
Jürgen Jost
Propaganda
Edward Bernays
Anti-Tech Revolution: Why and How
Theodore John Kaczynski