Tao Te Ching
Lao-tzu
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Theory and reality : an introduction to the philosophy of science
Peter Godfrey-Smith
The Grain Brain Whole Life Plan
David Perlmutter MD