Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Ride the Tiger
Julius Evola
The Hero With A Thousand Faces, Commemorative Edition (Princeton ...
Joseph Campbell
The 8th Habit
Stephen R. Covey
No bullshit guide to linear algebra
Ivan Savov