Table of Contents:
- Set Theory
- Propositional Calculus and Formal Logic
- Methods of Proof
- Combinatorics
- Relation
- Lattices
- Boolean Algebra
- Recurrence Relation
- Graph Theory
- Algebraic Structure
- Matrices
- Finite State Machine
- Logic Programming
- Appendices
- Miscellaneous Exercises
- Previous Years Solved Question Papers
- Index