Electric Discharges, Waves and Implulses
Charles Proteus Steinmetz
A brief introduction to type theory and the univalence axiom
Jackson Macor
Intuitionistic Type Theory
Per Martin-Lof
Divina proportione : opera a tutti glingegni perspicaci e curiosi ...
Pacioli, Luca, approximately 1445-1517
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar