Divina proportione : opera a tutti glingegni perspicaci e curiosi ...
Pacioli, Luca, approximately 1445-1517
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Cratylus, Phaedo, Parmenides and Timaeus of Plato. Translated ...
Plato
Principia Mathematica Vol 2
Alfred North Whitehead & Bertrand Russel
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar