The Dip: A Little Book That Teaches You When to Quit (and When ...
Godin, Seth
BEING AND TIME
Heidegger
Practical Foundations for Programming Languages
Robert Harper
Iamblichus' De Anima: Text, Translation, and Commentary
John Finamore & John Dillon
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program