Linkers and Loaders
John R. Levine
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Galileo's Error: Foundations for a New Science of Consciousness
Philip Goff
A Mathematician's Apology
G. H. Hardy
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche