The topics covered in this book have been chosen keeping in view the knowledge required to understanding the functioning of the digital computer because many of its properties can be understood and interpreted within the frameworl 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.