De Rerum Natura: V
Titus Lucretius Carus
Pragmatism, a New Name for Some Old Ways of Thinking
William James
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin