The book addresses problems like

  • Can we prove all that is true ?

  • Can symbolic manipulation capture everything ?

  • Is there a general method to solve a class of solvable problems ?

  • Is Mathematics contradictory ?

To answer these fundamental questions, it comes up with results such as Deduction, reductio ad absurdum, Monotonicity, Compactness, Completeness, Undecidability, and Incompleteness as expounded in the works of Herbrand, Godel, Skolem, Lowenheim, Beth, Tarski, Post, Turing and others It deals with the logic of sentences and predicates as formal languages giving stress on formal semantics. It considers major styles of presenting these logics such as axiomatics, Gentzen systems, analytic tableaux, resolution refutation as various proof techniques. However, it requires nothing from the reader but a mere willingness to remain logical and have a fearless attitude towards precise use of symbols.

Dr. Arindama Singh
is working as an Assistant Professor on Mathematics at IIT, Madras. He received his M.A. from Utkal University in 1984 and Ph.D. from IIT Kanpur in 1989. He taught at JNT University, Hyderabad (1989-91) and at the University of Hyderabad (1991-95). He has many National and International publications in numerical analysis and logic.

Dr. Chinmoy Goswami is working as a Reader in Philosophy at the University of Hyderabad. Prior to his current position, he taught at North Bengal University. His Ph.D. is from BHU in 1979. He has many National and International publications in logic and Philosophy.