Fundamentals of Logic

This book addresses problems like: Can we prove all that is ture? 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, the book comes up with results such as Deduction, Monotonicity, Compactness, Undecidability, and Incompleteness. It deals with the logics 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.