Computational Logic and Set Theory : Applying Formalized Logic to Analysis (Paperback)

Introduction Propositional and Predicate-Calculus Preliminaries A Survey of Inference Mechanisms More on the Structure of the Verifier System A Closer Examination of the Sequence of Definitions and Theorems Presented in this Book Undecidability and Unsolvability