How to Prove It: A Structured Approach
Daniel J. Velleman
The Art of Computer Programming, Volume 4A: Combinatorial Algorithms, ...
Donald E. Knuth
The Art of Computer Programming (4)
Discrete Mathematics and Its Applications
Kenneth H. Rosen
The Art of Computer Programming: Sorting and Searching. Vol. ...
The Art of Computer Programming (3)
