First-order logic / Raymond M. Smullyan.
Series Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43Editor: New York : Springer-Verlag, 1968Descripción: xii, 158 p. ; 24 cmOtra clasificación: 03B10Part I. Propositional logic from the viewpoint of analytic tableaux: Chapter I. PreliminariesChapter II. Analytic tableauxChapter III. Compactness.
Part II. First-order logic: Chapter IV. First-order logic. PreliminariesChapter V. First-order analytic tableauxChapter VI. A unifying principleChapter VII. The fundamental theorem of quantification theoryChapter VIII. Axiom systems for quantification theoryChapter IX. Magic setsChapter X. Analytic versus synthetic consistency properties.
Part III. Further Topics in First-Order Logic: Chapter XI. Gentzen systemsChapter XII. Elimination theoremsChapter XIII. Prenex tableauxChapter XIV. More on Gentzen systemsChapter XV. Craig's interpolation lemma and Beth's definability theoremChapter XVI. Symmetric completeness theoremsChapter XVII. Systems of linear reasoning.
Item type | Home library | Shelving location | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Libros | Instituto de Matemática, CONICET-UNS | Libros ordenados por tema | 03 Sm666 (Browse shelf) | Available | A-3278 |
Browsing Instituto de Matemática, CONICET-UNS shelves, Shelving location: Libros ordenados por tema Close shelf browser
03 Sk628 Selected works in logic / | 03 Sk628a Abstract set theory / | 03 Sk628r Racionalidad evolutiva / | 03 Sm666 First-order logic / | 03 Sm6665 Fundamentals of logic / | 03 Sm666f Forever undecided : | 03 Sm666t-2 Theory of formal systems / |
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.
MR, 39 #5311
There are no comments on this title.