
Arindama Singh



Books I have written five books, one on logic for maths and philosophy students, one on logic for Computer Science students, and one on the theory of computation, one on Matrix Theory, and one on Linear Algebra. The book on Theory of Computation has been translated to Chinese by Tsinghua University Press, China. If you like, you may take it as the sixth book! The second edition of my Logics for Computer Science has been published; you may take it as my seventh book! I wrote some expository articles on combinatorics, first order logic, and boolean algebra, on demand. See the extras section for details. Here are some more words about the books:
Fundamentals of Logic
The image on the top right is the monsterbook at Hogwarts library.

It was published in 1998 by ICPR:
The distributor of the book is:


It was published in 2003 by PHI Learning:


Before 2002, I was using Fundamentals of Logic to teach a course on Logic to M.Sc. and B.Tech. students. However, I had to do a bit differently so that it would be more suitable to students of theoretical computert science. I found that they should be exposed to the calculational logic. There should also be a thorough introduction to program verification and modal logics. It was Professor M T Nair who suggested, infact, brought the publisher (Prentice Hall of India) to my door steps, to develop the class notes into another book. This resulted in Logics for Computer Science. The very approach is different, making it more suitable for selfstudy. Its flap cover says: Designed primarily as an introductory text on logic for and in Computer Science, this wellorganized 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. The book begins with the easiest of logics, the logic of propositions, and then it goes on to give a detailed coverage of first order logic and modal logics. The discussion revolves around logics from common sense as also formal syntax and semantics. Dr. Arindama Singh analyzes with consummate skill the various approaches to the proof theory of the logics, e.g. axiomatic systems, natural deduction systems, Gentzen systems, analytic tableau, and resolution. Along with the metaresults such as soundness, completeness and compactness, he deftly deals with an important application of logic, namely, verification of programs. The book gives the flavour of logic engineering through computation tree logic, a logic of model checking. The book concludes with a fairly detailed discussion on nonstandard logics including intuitionistic logic, Lukasiewicz logics, default logic, autoepistemic logic, and fuzzy logic. This studentfriendly text, with an unusual clarity in the concepts and broad exposure to the subject, should prove to be a lifelong companion for anyone who wants to understand the basic principles of logic and enjoy how logic works in Computer Science. Besides students of Computer Science, those offering courses in Mathematics and Philosophy would greatly benefit from this study.
The contents are:

It was published in 2009 by Springer:


It was published in 2013 by Tsing Hua University Press, China


It was published in 2018 by Ane Books:


This edition was published in 2018 by PHI Learning Pvt Ltd:


It was published in 2018 by Springer Nature, Singapore 

This is the earlier book with the same title adopted and reprinted by Springer in August 2021. Springer 

I will be happy to receive suggestions from you for improving the books. 