Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Logical Geometry
Unknown
Expert C Programming
Peter van der Linden
Topics in the Foundations of General Relativity & Newtonian ...
Malament, David
On the Genealogy of Morals
Frederich Nietzsche