Greek, an Intensive Course
Hardy Hansen & Gerald M. Quinn
Austerity: The History of a Dangerous Idea
Mark Blyth
The Search for the Perfect Language
Umberto Eco
Homotopy Type Theory: Univalent Foundations of Mathematics
Univalent Foundations Program
Game Programming Gems 5
Kim Pallister