Intuitionistic Type Theory
Per Martin-Lof
THE AGE OF REASON
Thomas Paine
Game Engine Black Book Wolfenstein 3D (v2.1)
Fabien Sanglard
Philosophy of Mathematics
Linnebo, Øystein
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche