Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Life 3.0
Max Tegmark
AI Game Programming Wisdom 4
Steve Rabin
The Collected Works of C.G. Jung: Volume 12: Psychology and ...
C. G. Jung
Rust Programming by Example
Guillaume Gomez & Antoni Boucher