Logical Geometry
Unknown
Damascius' Problems and Solutions Concerning First Principles
Damaskios
Principles of Economics
Alfred Marshall
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
De Rerum Natura: V
Titus Lucretius Carus
Austerity: The History of a Dangerous Idea
Mark Blyth