Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Practical Foundations for Programming Languages
Robert Harper
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Old Man and the Sea (original, unabridged) (Annotated)
Ernest Hemingway
