Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
The Logic of Chemical Synthesis
Corey E.G., Chelg X.
Heat Kernels and Dirac Operators
Ezra Getzler
Intuitionistic Type Theory
Per Martin-Lof
Constructing the International Economy
Rawi Abdelal & Mark Blyth & Craig Parsons
Cornell Studies in Political Economy (1)