Intuitionistic Type Theory
Per Martin-Lof
Philosophy of Mathematics
Linnebo, Øystein
Democracy in America
de Tocqueville, Alexis
Algorithms to Live By
Brian Christian
Early Retirement Extreme: A Philosophical and Practical Guide ...
Jacob Lund Fisker