Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Tao Te Ching
Lao-tzu
Syrianus: On Aristotle Metaphysics 3-4
Syrianus, ,O'Meara, Dominic J,Dillon, John
Code The Hidden Language of Computer Hardware and Software
Charles Petzold
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush