Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Essay on Economic Theory, An
Richard Cantillon
The E-Myth Revisited: Why Most Small Businesses Don't Work and ...
Michael E. Gerber
The Toxin Solution
Joseph Pizzorno
Damascius' Problems and Solutions Concerning First Principles
Damaskios
On Descartes' Metaphysical Prism: The Constitution and the Limits ...
Jean-Luc Marion
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
