The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Art & Illusion
E. H. Gombrich
Dive Into Design Patterns
Alexander Shvets
The Dip: A Little Book That Teaches You When to Quit (and When ...
Godin, Seth
