Items related to Computational Logic and Set Theory: Applying Formalized...
Synopsis
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
"synopsis" may belong to another edition of this title.