Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Play of Masks
Frithjof Schuon
Nicholas of Cusa on Learned Ignorance: A Translation and an ...
Cardinal Nicholas (of Cusa) & Jasper Hopkins
Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov
Greek, an Intensive Course
Hardy Hansen & Gerald M. Quinn