A History of Mathematical Notations: Vol. Ii
Florian Cajori
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Euler The Master of Us All
William Dunham
Revolutionizing the Sciences European Knowledge & Its Ambitions, ...
Peter Dear
Grain Brain
David Perlmutter