Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Mobile Wave
Michael Saylor
Pragmatism, a New Name for Some Old Ways of Thinking
William James
The Theoretic Arithmetic of the Pythagoreans -- Thomas Taylor, ...
Unknown
Einstein Manifolds
Arthur L. Besse
