Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
The Power to Compete
Hiroshi Mikitani & Ryoichi Mikitani
Game Programming Gems
Mark A. Deloura
The Collected Works of C. G. Jung : Aion
C. G. Jung
Factfulness
Hans Rosling & Ola Rosling & Anna Rosling Rönnlund