Zen of Assembly Language: Knowledge
Michael Abrash
Euripides II: Andromache, Hecuba, the Suppliant Women, Electra
Euripides
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Generative Energy: Restoring the Wholeness of Life
Raymond Peat
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program