Theory of Recursive Functions and Effective Computability (Mit Press)
<p>(Reprint of the 1967 edition)</p>
Gödel, Escher, Bach: An Eternal Golden Braid
Hacking: The Art of Exploitation, 2nd Edition
Types and Programming Languages (MIT Press)
Computability and Unsolvability
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
Advanced Topics in Types and Programming Languages (MIT Press)
Physically Based Rendering: From Theory to Implementation (The Interactive 3d Technology Series)
Practical Foundations for Programming Languages
The Princeton Companion to Mathematics
Computability: An Introduction to Recursive Function Theory