Vor Ort
Merkzettel Warenkorb
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

Abbildungen

XII, 160 p.

Verlag

Springer Berlin

Seitenzahl

160

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

277 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

Abbildungen

XII, 160 p.

Verlag

Springer Berlin

Seitenzahl

160

Maße (L/B/H)

23,5/15,5/1 cm

Gewicht

277 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.- II. Analytic Tableaux.- III. Compactness.- II. First-Order Logic.- IV. First-Order Logic. Preliminaries.- V. First-Order Analytic Tableaux.- VI. A Unifying Principle.- VII. The Fundamental Theorem of Quantification Theory.- VIII. Axiom Systems for Quantification Theory.- IX. Magic Sets.- X. Analytic versus Synthetic Consistency Properties.- III. Further Topics in First-Order Logic.- XI. Gentzen Systems.- XII. Elimination Theorems.- XIII. Prenex Tableaux.- XIV. More on Gentzen Systems.- XV. Craig’s Interpolation Lemma and Beth’s Definability Theorem.- XVI. Symmetric Completeness Theorems.- XVII. Systems of Linear Reasoning.- References.