E. Lehman, F. Leighton, A. Meyer, Mathematics for Computer Science,
ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-spring-2015/mit6_042js15_textbook.pdf