Mathematics for 3D Game Programming and Computer Graphics, Third ...
Eric Lengyel
Practical Foundations for Programming Languages
Robert Harper
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Collected Works of C. G. Jung : Aion
C. G. Jung
The Divine Proportion
H. E. Huntley