Inhaltsangabe
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
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
