Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
A theory of natural philosophy
Boscovich, Ruggero Giuseppe, 1711-1787
Civil Disobedience
Henry David Thoreau
The Collected Works of C.G. Jung: Volume 12: Psychology and ...
C. G. Jung
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin