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: Mathematical Logic
  • Produktbild: Mathematical Logic

Mathematical Logic

59,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

10.06.1994

Verlag

Springer Us

Seitenzahl

291

Maße (L/B/H)

24,1/16/2,2 cm

Gewicht

629 g

Auflage

Second Edition 1994

Sprache

Englisch

ISBN

978-0-387-94258-2

Beschreibung

Rezension

“…the book remains my text of choice for this type of material, and I highly recommend it to anyone teaching a first logic course at this level.” – Journal of Symbolic Logic

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

10.06.1994

Verlag

Springer Us

Seitenzahl

291

Maße (L/B/H)

24,1/16/2,2 cm

Gewicht

629 g

Auflage

Second Edition 1994

Sprache

Englisch

ISBN

978-0-387-94258-2

Herstelleradresse

Libri GmbH
Europaallee 1
36244 Bad Hersfeld
DE

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: Mathematical Logic
  • Produktbild: Mathematical Logic
  • Preface; Part A: 1. Introduction; 2. Syntax of First-Order Languages; 3. Semantics of first-Order Languages; 4. A Sequent Calculus; 5. The Completeness Theorem; 6. The Lowenheim-Skolem and the Compactness Theorem; 7. The Scope of First-Order Logic; 8. Syntactic Interpretations and Normal Forms; Part B: 9. Extensions of First-Order Logic; 10. Limitations of the Formal Method; 11. Free Models and Logic Programming; 12. An Algebraic Characterization of Elementary Equivalence; 13. Lindstroem's Theorems; References; Symbol Index; Subject Index