
Arindama Singh



Books I have written three books, one on logic for maths and philosophy students, one on logic for Computer Science students, and one on the theory of computation. The last one has been translated to Chinese recently by Tsinghua University Press, China. If you like, you may take it as the Fourth 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.

The publisher of the book is ICPR:
The distributor of the book is:


The publisher of the book is 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:

The publisher of the book is Springer:


The publisher of the book is Tsing Hua University Press, China

