Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Geometry and Monadology: Leibniz's Analysis Situs and Philosophy ...
Vincenzo de Risi
Constructive Anatomy
George B. Bridgman
Dover Anatomy for Artist (1)
Taking the Shape of the Gods: A Theurgic reading of Hermetic ...
Gregory Shaw
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar