A Mathematician's Apology
G. H. Hardy
The Cratylus, Phaedo, Parmenides and Timaeus of Plato. Translated ...
Plato
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Delphi Complete Works of Plato (Illustrated)
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark