Linear Programming Beyond 4.2(Simplex Method)
Heckman C.C.
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The General Theory of Employment, Interest and Money
Keynes, John Maynard
Treatise on conic sections
Apollonius, of Perga
Book of Proof
Richard Hammack