Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Grain Brain
David Perlmutter
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The History of the Peloponnesian War
Thucydides
Einstein Manifolds
Arthur L. Besse
