Intuitionistic Type Theory
Per Martin-Lof
The Thirteen Books of Euclid's Elements
Euclid, Johan Ludvig Heiberg
Geometria
René Descartes
Maps of meaning| The Architecture of belief
Jordan B. Peterson
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar