CMOS Digital Integrated Circuits: Analysis and Deisgn
Sung-Mo (Steve) Ang & Yusuf Leblebgi
The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield
21st Century C
Ben Klemens
Hidden Hand
Clive Hamilton & Mareike Ohlberg
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program