A great textbook on mathematical foundations for Computer Science

I have been using James Hein's Discrete Structures, Logic, and Computability for studying first order logic and automatic reasoning. Its an excellent textbook which introduces these concepts very lucidly with proper motivation, very comprehensively and without too much of abstract formulate. There are many examples worked out too, which is a great aid to get started with many problem solving techniques.

This is not a book about logic alone - it covers the entire mathematical foundations of computer science:

• Discrete Structures
• Set Theory
• Complexity Analysis
• Logic
• Automata Theory
• Group Theory

James Hein is Professor Emeritus at Portland State University, whose current interest in his own words is  "Finding ways to help students learn about the mathematical foundations of computer science (discrete mathematics, logic, and computability)." This book is surely the result of that passion and vision. 

Thanks to Rajen for pointing this textbook.