Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Treatise on conic sections
Apollonius, of Perga
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
Assemblers and Loaders
David Salomon
Too Much to Know: Managing Scholarly Information Before the ...
Ann Blair