The main areas of mathematical logic are covered in this book. It covers axiomatic set theory, first-order number theory, first-order logic, propositional logic, and the theory of computability.
The main findings of Gödel, Church, Kleene, Rosser, and Turing are also covered in the work.
From the table of contents: 1. Introduction; 2. References. What Exactly Is Logic?, Propositional Logic, Predicate Logic, Completeness Theorems (Model Theory), and Normal Forms are some of the topics covered. Resolution Approach; 6. Other (Negation as Contradiction or Absurdity).
