Compilers Principles, Techniques, and Tools 2/E
Aho Lam Sethi Ullman
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
AI Game Programming Wisdom
Steve Rabin
Collected Works of C.G. Jung, Volume 9 (Part 1): Archetypes ...
Jung, C. G., Hull, R. F.C., Adler, Gerhard
The Divine Proportion
H. E. Huntley