New Foundations for Classical Mechanics
D. Hestenes
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Theory and reality : an introduction to the philosophy of science
Peter Godfrey-Smith
Livewired: The Inside Story of the Ever-Changing Brain
David Eagleman
Iamblichus' Egyptian Neoplatonic Theology in De Mysteriis
Dennis C. Clark