Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly
Modern Man in Search of a Soul
C.G. Jung, W. S. Dell, Cary F. Baynes
Plato's Parmenides
Plato
The Soul of a New Machine
Tracy Kidder