Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Box: How the Shipping Container Made the World Smaller and ...
Marc Levinson
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes
Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar