Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Method of Archimedes
Archimedes
The Book of Five Rings
Musashi Miyamoto
Managing Oneself
Drucker, Peter Ferdinand
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek