Smullyan, Raymond M.
First-order logic / Raymond M. Smullyan.
— New York : Springer-Verlag, 1968. xii, 158 p. ; 24 cm. — (Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43)
Bibliografía: p. [156]
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.
|