HoTT

by uf-ias-2012.wikispaces.com

Mathematics for Computer Science

by Eric Lehman, F Thomson Leighton, Albert R Meyer

The World of Mathematics

by Philipp Legner, mathigon.org

Graph Theory with Applications

by J.A. Bondy, U.S.R. Murty

Combinatorial Algorithms

by Herbert S. Wilf, Albert Nijenhuis

Street-Fighting Mathematics

by Sanjoy Mahajan