Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Geometric Algebra for Computer Science - An Object-Oriented ...
Leo Dorst, Daniel Fontijne, Stephen Mann
The Unfettered Mind: Writings from a Zen Master to a Master ...
Takuan Soho
The Obesity Code: Unlocking the Secrets of Weight Loss
Jason Fung
Beyond Good and Evil: Prelude to a Philosophy of the Future
Friedrich Wilhelm Nietzsche