Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Discourse on the Method
Rene Descartes
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti
Why Nazism Was Socialism and Why Socialism Is Totalitarian
George Reisman
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush