An Introduction to Metalogic (Paperback) by Yaqub Aladdin M.
emAn Introduction to Metalogic/em is a uniquely accessible introduction to the metatheory of first-order predicate logic. No background knowledge of logic is presupposed as the book is entirely self-contained and clearly defines all of the technical terms it employs. Yaqub begins with an introduction to predicate logic and ends with detailed outlines of the proofs of the incompleteness undecidability and indefinability theorems. Many other topics are covered: expressive completeness the basics of set theory infinite cardinalities Cantor's Theorems the Soundness and Completeness Theorems Turing machines the Halting Problem predicate logic theories and their properties elementary equivalence isomorphism Peano Arithmetic second-order predicate logic and more.