Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
The Cratylus, Phaedo, Parmenides and Timaeus of Plato. Translated ...
Plato
Periphyseon: Division of Nature
Johannes Scotus Erigena
[Morpho Anatomy for Artists] Michel Lauricella - Morpho Skeleton ...
libgen.li
Ignition: An Informal History of Liquid Rocket Propellants
John D. Clark