Zum Inhalt springen
Cyberslide
Cyberslide

CSS von Cyberslide · Unabhängiger Preisvergleich mit Angeboten aus über 1.000 Shops

CSS von Cyberslide
Logic and Structure
Springer

Logic and Structure

EAN/GTIN:
9781447145578
Hersteller-Nr.:
86101173
Kategorie:
Bücher
Angebote:
1 Shop
Preisspanne:
73,10 € – 73,10 €
Preisalarm

Bester Preis

1 Angebot

ab 73,10 €

Günstigstes Angebot

Anzeige

preigu

Versandkostenfrei · 4-7 Werktage

73,10 €

Gesamt 73,10 €

Zum Shop: preigu

Zuletzt aktualisiert:

Preisvergleich: 1 Angebot

Anzeige

Sortiert nach Gesamtpreis inkl. Versand · Preise inkl. MwSt. · Als „Nicht verifiziert“ markierte Angebote stammen von Shops ohne Partnerschaft und werden nie als „Bester Preis“ hervorgehoben, solange es ein Partner-Angebot gibt. Bei gleichem Gesamtpreis steht das früher gelistete Angebot zuerst. * „statt“: vom Shop angegebener Vergleichspreis (früherer Shop-Preis oder UVP), nicht von uns geprüft.

  1. Bester Preis

    73,10 €

    Gesamt: 73,10 €

    Auf Lager · 4-7 Werktage

    Versandkostenfrei

Preisverlauf

Tiefstpreis
–
Höchstpreis
–
Veränderung
–

Preisverlauf wird geladen …

Günstigster Preis über alle Shops (ohne Versand). Gespeichert wird nur, wenn sich der Bestpreis ändert; Daten älter als 12 Monate als Monats-Tiefst-/Höchstpreis.

Preisalarm

Wir schicken dir eine E-Mail, sobald dein Wunschpreis erreicht ist.

Produktbeschreibung

Dirk van Dalens popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödels famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzens natural deduction. The book proceeds with some basic concepts and facts of model theory: a discussion on compactness, Skolem-Löwenheim, non-standard models and quantifier elimination. The discussion of classical logic is concluded with a concise exposition of second-order logic. In view of the growing recognition of constructive methods and principles, intuitionistic logic and Kripke semantics is carefully explored. A number of specific constructive features, such as apartness and equality, the Gödel translation, the disjunction and existence property are also included. The last chapter on Gödel's first incompleteness theorem is self-containedand provides a systematic...

Produktdaten

Marke
Springer
Kategorie
Bücher
EAN/GTIN
9781447145578
Hersteller-Nr.
86101173
Angebote
1 (1 verfügbar)
Preisspanne
73,10 € – 73,10 €

Ähnliche Produkte

Mehr aus Bücher

Anzeige preigu

73,10 € inkl. Versand

Zum Shop