Produktbild: First-Order Logic
Band 43

First-Order Logic

49,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: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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.