Practical Foundations for Programming Languages
Robert Harper
70447-Article Text-196704-1-10-[..]
Amy
Proclus' On the Hieratic Art According to the Greeks
Eleni Pachoumi;
Calculus on Manifolds
Michael Spivak
Theory and reality : an introduction to the philosophy of science
Peter Godfrey-Smith