Intuitionistic Type Theory
Per Martin-Lof
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
The Box: How the Shipping Container Made the World Smaller and ...
Marc Levinson
De Rerum Natura: V
Titus Lucretius Carus
Electrostatic Motors: Their History, Types, and Principles of ...
Oleg Jefimenko