Designed primarily as an introductory text on logic for computer science, this well-organized book deals with almost all the basic concepts and techniques that are pertinent to the subject. It provides an excellent understanding of the logics used in computer science today.
Arindama Singh
Arindama Singh, Ph.D., is Professor, Department of Mathematics, IIT Madras, Chennai. Earlier, he taught Applied Mathematics at the University of Hyderabad. A vigorous researcher in the areas of Numerical Analysis, Computational Logic, and Linear Algebra, Dr. Singh has published a number of research papers in international journals. He has also authored books on Logic, and Theory of Computation. He has been teaching logic to both undergraduate and postgraduate students in Mathematics and Theoretical Computer Science for the last twenty-five years. Besides, he has given many invited talks at various institutions in India and abroad.
Arindama Singh
PHI Learning