Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Revolutionizing the Sciences European Knowledge & Its Ambitions, ...
Peter Dear
An introduction to metaphysics
Henri Bergson
Stonehouses Anatomy (Jap)
Superani
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar