Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Infinite Retina: Spatial Computing, Augmented Reality, and ...
Irena Cronin & Robert Scoble
Critique Of Pure Reason
Immanuel Kant
The Collected Works of C. G. Jung : Aion
C. G. Jung
The Making of Late Antiquity
Peter Brown