Intuitionistic Type Theory
Per Martin-Lof
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus
Mythology
Edith Hamilton & Jim Tierney
Einstein Manifolds
Arthur L. Besse
Foundations of Game Engine Development, Volume 1: Mathematics
Eric Lengyel
