Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Gravitation and Cogravitation: Developing Newton's Theory of ...
Oleg D. Jefimenko
The Model Thinker
Scott E. Page
Divine Proportions: Rational Trigonometry to Universal Geometry
Norman John Wildberger
The Gulag Archipelago
Aleksandr Solzhenitsyn