Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 06.07.2026 auf fremdsprachige Bücher online auf thalia.at, in der Thalia App ab einem Mindestbestellwert von 30€ und in allen Thalia Buchhandlungen in Österreich. In den Buchhandlungen nur gültig auf lagernde Ware. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Nur gültig gegen Vorlage oder im Onlineshop hinterlegter Bonuscard. Infos zur Einlösung in der Buchhandlung sind auf der Bonuscard-Vorteilspreisseite zu finden. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Einlösung bei Scan & Go-Bezahlung. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
Produktbild: First-Order Logic
Band 43

First-Order Logic

Aus der Reihe Ergebnisse der Mathematik und ihrer Grenzgebiete. 2. Folge

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.04.2012

Verlag

Springer Berlin

Seitenzahl

160

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

276 g

Auflage

Softcover reprint of the original 1st ed. 1968

Sprache

Englisch

ISBN

978-3-642-86720-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

14.04.2012

Verlag

Springer Berlin

Seitenzahl

160

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

276 g

Auflage

Softcover reprint of the original 1st ed. 1968

Sprache

Englisch

ISBN

978-3-642-86720-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: First-Order Logic
  • I. Propositional Logic from the Viewpoint of Analytic Tableaux.- I. Preliminaries.-
    0. Foreword on Trees.-
    1. Formulas of Propositional Logic.-
    2. Boolean Valuations and Truth Sets.- II. Analytic Tableaux.-
    1. The Method of Tableaux.-
    2. Consistency and Completeness of the System.- III. Compactness.-
    1. Analytic Proofs of the Compactness Theorem.-
    2. Maximal Consistency: Lindenbaum’s Construction.-
    3. An Analytic Modification of Lindenbaum’s Proof.-
    4. The Compactness Theorem for Deducibility.- II. First-Order Logic.- IV. First-Order Logic. Preliminaries.-
    1. Formulas of Quantification Theory.-
    2. First-Order Valuations and Models.-
    3. Boolean Valuations vs. First-Order Valuations.- V. First-Order Analytic Tableaux.-
    1. Extension of Our Unified Notation.-
    2. Analytic Tableaux for Quantification Theory.-
    3. The Completeness Theorem.-
    4. The Skolem-Löwenheim and Compactness Theorems for First-Order Logic.- VI. A Unifying Principle.-
    1. Analytic Consistency.-
    2. Further Discussion of Analytic Consistency.-
    3. Analytic Consistency Properties for Finite Sets.- VII. The Fundamental Theorem of Quantification Theory.-
    1. Regular Sets.-
    2. The Fundamental Theorem.-
    3. Analytic Tableaux and Regular Sets.-
    4. The Liberalized Rule D.- VIII. Axiom Systems for Quantification Theory.-
    0. Foreward on Axiom Systems.-
    1. The System Q1.-
    2. The Systems Q2, Q*2.- IX. Magic Sets.-
    1. Magic Sets.-
    2. Applications of Magic Sets.- X. Analytic versus Synthetic Consistency Properties.-
    1. Synthetic Consistency Properties.-
    2. A More Direct Construction.- III. Further Topics in First-Order Logic.- XI. Gentzen Systems.-
    1. Gentzen Systems for Propositional Logic.-
    2. Block Tableaux and Gentzen Systems for First-Order Logic.- XII. Elimination Theorems.-
    1. Gentzen’s Hauptsatz.-
    2. An Abstract Form of the Hauptsatz Ill.-
    3. Some Applications of the Hauptsatz.- XIII. Prenex Tableaux.-
    1. Prenex Formulas.-
    2. Prenex Tableaux.- XIV. More on Gentzen Systems.-
    1. Gentzen’s Extended Hauptsatz.-
    2. A New Form of the Extended Hauptsatz.-
    3. Symmetric Gentzen Systems.- XV. Craig’s Interpolation Lemma and Beth’s Definability Theorem.-
    1. Craig’s Interpolation Lemma.-
    2. Beth’s Definability Theorem.- XVI. Symmetric Completeness Theorems.-
    1. Clashing Tableaux.-
    2. Clashing Prenex Tableaux.-
    3. A Symmetric Form of the Fundamental Theorem.- XVII. Systems of Linear Reasoning.-
    1. Configurations.-
    2. Linear Reasoning.-
    3. Linear Reasoning for Prenex Formulas.-
    4. A System Based on the Strong Symmetrie Form of the Fundamental Theorem.- References.