Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Electrostatic Motors: Their History, Types, and Principles of ...
Oleg Jefimenko
BEING AND TIME
Heidegger
Gravitation, Gauge Theories And Differential Geometry
Eguchi, Gikey & Hansen
The histories of Herodotus
Herodotus