Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Spinors and Space-Time: Volume 2, Spinor and Twistor Methods ...
Roger Penrose & Wolfgang Rindler
Cambridge Monographs on Mathematical Physics (1)
Topics in the Foundations of General Relativity & Newtonian ...
Malament, David
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Crush It!: Why NOW Is the Time to Cash In on Your Passion
Gary Vaynerchuk