Language Implementation Patterns
Terence Parr
Euler The Master of Us All
William Dunham
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Soul of a New Machine
Tracy Kidder
The Theology of Arithmetic: On the Mystical, Mathematical and ...
Iamblichus