Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Mythology
Edith Hamilton & Jim Tierney
Built to Last
Jim Collins
Soft Skills: The software developer's life manual
John Sonmez
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin