Language Unlimited
David Adger
The History of the Peloponnesian War
Thucydides
Intuitionistic Type Theory
Per Martin-Lof
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind