Dirty Genes: A Breakthrough Program to Treat the Root Cause ...
Ben Lynch
A brief introduction to type theory and the univalence axiom
Jackson Macor
Divine Proportions: Rational Trigonometry to Universal Geometry
Norman John Wildberger
The C++ Standard Library: A Tutorial and Reference
Nicolai M. Josuttis
Greek, an Intensive Course
Hardy Hansen & Gerald M. Quinn