Logical Geometry
Unknown
The Toxin Solution
Joseph Pizzorno
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Intelligent Investor
Benjamin Graham
The Grain Brain Whole Life Plan
David Perlmutter MD