Publisher's Synopsis
Provides a treatment of set theory, logic and their applications in programming. This book covers mathematical induction and describes its role in computer science. It balances the theory with short examples that support the theories presented.