Beyond Order
Jordan B. Peterson
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Foundations of Mechanical Accuracy
Wayne R. Moore
Philosophy of Mathematics
Linnebo, Øystein
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar