Intuitionistic Type Theory
Per Martin-Lof
BEING AND TIME
Heidegger
Game Engine Black Book Doom (v1.1)
Fabien Sanglard
The Drunkard's Walk
Leonard Mlodinow
Anti-Tech Revolution: Why and How
Theodore John Kaczynski
