Discrete Mathematics 

The topics covered in this book have been chosen keeping in view the knowledge required to understand the functioning of the digital computer because many of its properties can be understood and interpreted within the framework of finite mathematical systems. This book provides a compact yet rigorous treatment of the major mathematical techniques available for study in theoretical computer science. In this edition, each chapter has been revised throughly to widen the scope of topics. Several solved and unsolved questions have been added in each chapter. Two new chapters Number Theory and Language, Grammar and Automata have been added. - from Amzon