Linear Algebra Done Right
Sheldon Axler
Grounding and Shielding: Circuits and Interference
Ralph Morrison
Proclus' On the Hieratic Art According to the Greeks
Eleni Pachoumi;
Conversations of Socrates (Classics)
Xenophon
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program