First-order logic
Raymond M. Smullyan.
New York : Springer-Verlag, 1968.
xii, 158 págs. ; 24 cm.
Serie: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43
Bibliografía: p. [156]
Reseña: MathSciNet, 39 #5311
Contenido
- Part I. Propositional logic from the viewpoint of analytic tableaux: Chapter I. Preliminaries
- Chapter II. Analytic tableaux
- Chapter III. Compactness.
- Part II. First-order logic: Chapter IV. First-order logic. Preliminaries
- Chapter V. First-order analytic tableaux
- Chapter VI. A unifying principle
- Chapter VII. The fundamental theorem of quantification theory
- Chapter VIII. Axiom systems for quantification theory
- Chapter IX. Magic sets
- Chapter X. Analytic versus synthetic consistency properties.
- Part III. Further Topics in First-Order Logic: Chapter XI. Gentzen systems
- Chapter XII. Elimination theorems
- Chapter XIII. Prenex tableaux
- Chapter XIV. More on Gentzen systems
- Chapter XV. Craig's interpolation lemma and Beth's definability theorem
- Chapter XVI. Symmetric completeness theorems
- Chapter XVII. Systems of linear reasoning.