Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Projective Geometric Algebra
Eric Lengyel
The Wealth of Nations
Adam Smith
The Sublime Object of Ideology
Slavoj Zizek
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom