Discrete mathematics and its applications - Rosen, Kenneth H (Boston: McGraw-Hill Higher Edu., 2007)
Keywords: Logic, Symbolic and mathematical; Computer science -- -- Mathematics; Mathematics