Geometric Quantization
N. M. J. Woodhouse
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Electricity and matter
Thomson, J. J. (Joseph John), Sir, 1856-1940
The Courage of Hopelessness: Chronicles of a Year of Acting ...
Slavoj Žižek
Designing the Mind: The Principles of Psychitecture
Designing The Mind & Ryan A Bush