This text is a comprehensive resource designed to meet the requirements of students in computer science and mathematics. It is widely adopted in Indian universities and technical institutions. The book distinguishes itself by balancing theoretical rigor with practical applications, specifically focusing on the needs of computer science students (such as automata theory and logic) while maintaining a strong foundation in pure mathematical structures.