Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Gravitation, Gauge Theories And Differential Geometry
Eguchi, Gikey & Hansen
Computers as Theatre
Brenda Laurel
Euclid's Elements of Geometry
Richard Fitzpatrick, University of Texas at Austin
Electricity and Magnetism: An Introduction to the Theory of ...
Oleg D. Jefimenko