A brief introduction to type theory and the univalence axiom
Jackson Macor
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
AI for Games, Third Edition
Ian Millington
Philosophy and Theurgy in Late Antiquity
Algis Uzdavinys & John F. Finamore
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove