The Federalist
Pain Webber
The Model Thinker
Scott E. Page
Austerity: The History of a Dangerous Idea
Mark Blyth
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof