Life 3.0
Max Tegmark
SYNCHRONICITY An Acasual Connecting Principle
Jung, Carl G.(Author)
PLP An introduction to mathematical proof
Seckin Demibras, Andrew Rechnitzer
Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
A Theory of Fun for Game Design
Raph Koster