Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Five Stages of Greek Religion
Gilbert Murray
The Infinite Retina: Spatial Computing, Augmented Reality, and ...
Irena Cronin & Robert Scoble
The C++ Standard Library: A Tutorial and Reference
Nicolai M. Josuttis
The Timaeus of Plato
Plato; Archer-Hind, R. D. (Richard Dacre), 1849-1910