Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Stand on Zanzibar
John Brunner
Designing the Mind: The Principles of Psychitecture
Ryan A Bush & Designing The Mind