Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Gravitation, Gauge Theories And Differential Geometry
Eguchi, Gikey & Hansen
Nicholas of Cusa's on Learned Ignorance: A Commentary on De ...
Karsten Harries
The Unfettered Mind: Writings from a Zen Master to a Master ...
Takuan Soho
Lymph & Longevity: The Untapped Secret to Health
Gerald Lemole