This book explains the mathematical foundations of modern computer science. The content has been class-tested for many years, and there are extensive exercises throughout. This is a valuable textbook for undergraduate and graduate students in computer science.