Mathematics With Applications
Susanna S. Epp
Mathematical Proofs: A Transition to Advanced Mathematics
Gary Chartrand & Albert Polimeni & Ping Zhang
Elemental
Tim James
Modern Compiler Implementation in C
Andrew W. Appel & Maia Ginsburg
Category Theory
Steve Awodey