Planned Chaos
Ludwig Von Mises
The Geometry of René Descartes
René Descartes
Tao Te Ching
Lao-tzu
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
BEING AND TIME
Heidegger