Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Structure and Interpretation of Classical Mechanics: Second ...
Gerald Jay Sussman & Jack Wisdom
Calculus on Manifolds
Michael Spivak
The Book of Memory: A Study of Memory in Medieval Culture
Mary Carruthers
The Age of Alternative Logics: Assessing Philosophy of Logic ...
Johan van Benthem & Gerhard Heinzmann & Manuel Rebuschi & Henk Visser