Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Philosophy of Mathematics
Linnebo, Øystein
Civil Disobedience
Henry David Thoreau
Think and Grow Rich
Napoleon Hill
The Sworn Book of Honorius: Liber Iuratus Honorii
Honorius Of Thebes
Game Programming Patterns
Nystrom, Robert
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
Mencius
Mencius & D. C. Lau
The Book of Five Rings
Musashi Miyamoto
Meditations
Marcus Aurelius
