Intuitionistic Type Theory
Per Martin-Lof
The Craft of Thought: Meditation, Rhetoric, and the Making of ...
Mary Jean Carruthers
Linkers and Loaders
John R. Levine
Galileo's Error: Foundations for a New Science of Consciousness
Philip Goff
The Intelligent Investor
Benjamin Graham