Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Linear Programming Beyond 4.2(Simplex Method)
Heckman C.C.
The Gnostic Jung & the Seven Sermons to the Dead
Stephan A. Hoeller
Real-Time Collision Detection
Christer Ericson
The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield