This book clearly explains the mathematical foundations of computer science. This book is written in simple English, so that the readers can learn the subject easily. The concepts are explained clearly with suitable examples. The illustrations for Automata,PDA,Turing Machines and recursive functions are structured to understand easily. The theorem statements are made easy to understand. This book will be useful for all the computer science Engineers.