The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
The Box: How the Shipping Container Made the World Smaller and ...
Marc Levinson
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche