Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Dynamic Bible
Peter Han
The Dip: A Little Book That Teaches You When to Quit (and When ...
Godin, Seth
Selections From Science and Sanity: An Introduction to Non-Aristotelian ...
Alfred Korzybski
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes
