Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
hymn to king helios
Unknown
Dynamic Hedging Managing Vanilla and Exotic Options
Nassim Nicholas Taleb
The End of Absence
Michael Harris
Roots of the Human Condition
Frithjof Schuon