Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser
No bullshit guide to linear algebra
Ivan Savov