A brief introduction to type theory and the univalence axiom
Jackson Macor
Selections From Science and Sanity: An Introduction to Non-Aristotelian ...
Alfred Korzybski
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin
Common sense
Paine, Thomas, 1737-1809
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar