Suitable for undergraduate and graduate courses in computer science Demonstrates the mathematical underpinnings of modern computer science, valuable foundational knowledge for academics and researchers Class-tested over many years in various universities