Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The histories of Herodotus
Herodotus
Think and Grow Rich
Napoleon Hill
The Gulag Archipelago
Aleksandr Solzhenitsyn
The Divine Proportion
H. E. Huntley