74,00 €
+ 4,99 € Versand

Basic Proof Theory

  • Marke: Unbranded
Verkauft von:

Basic Proof Theory

  • Marke: Unbranded

74,00 €

Auf Lager
+ 4,99 € Versand

14-Tage-Rückgabepolitik

Verkauft von:

74,00 €

Auf Lager
+ 4,99 € Versand

14-Tage-Rückgabepolitik

Zahlungsmethoden:

Beschreibung

Basic Proof Theory

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general the only prerequisite is a standard course in first-order logic making the book ideal for graduate students and beginning researchers in mathematical logic theoretical computer science and artificial intelligence. For the new edition many sections have been rewritten to improve clarity new sections have been added on cut elimination and solutions to selected exercises have been included. Language: English
  • Marke: Unbranded
  • Kategorie: Computer und Internet
  • Künstler: Troelstra Anne S.
  • Format: Paperback
  • Verlag / Label: Cambridge University Press
  • Sprache: English
  • Erscheinungsdatum: 2002/01/13
  • Seitenzahl: 432
  • Fruugo-ID: 337416175-741052995
  • ISBN: 9780521779111

Lieferung

Versand innerhalb von 4 Tagen

  • STANDARD: 4,99 € - Lieferung zwischen Mi. 08 Juli 2026–Do. 09 Juli 2026

Versand von Vereinigtes Königreich.

Rückgabe & Stornierung

Rückgabe

Wir tun unser Bestes, um dafür zu sorgen, dass die von Ihnen bestellten Produkte vollständig und gemäß Ihrer Spezifikationen an Sie geliefert werden. Wenn Sie allerdings eine unvollständige Bestellung oder Artikel erhalten, die sich von den bestellten unterscheiden, oder es einen anderen Grund gibt, warum Sie mit Ihrer Bestellung nicht zufrieden sind, können Sie die gesamte Bestellung oder einzelne darin enthaltenen Produkte zurücksenden und eine vollständige Rückerstattung für die Artikel erhalten.

Vollständige Rückgaberichtlinie ansehen

Stornierung

Sie haben das Recht, innerhalb von 14 Tagen nach Erhalt Ihrer Bestellung ohne Angabe von Gründen von Ihrem Kauf zurückzutreten. Um Ihr Widerrufsrecht einfach auszuüben, können Sie den Link „Meine Bestellung stornieren“ in der Fußzeile jeder Seite oder in Ihrem Fruugo-Konto unter „Bestellungen“ nutzen. Sobald Sie von Ihrem Widerrufsrecht Gebrauch gemacht haben, senden wir Ihnen eine Bestätigungs-E-Mail. Falls Ihre Bestellung bereits vom Händler versandt wurde, erhalten Sie von uns die notwendigen Rücksendeanweisungen, um eine schnelle Bearbeitung Ihrer Rückerstattung zu gewährleisten.

Vollständige Stornierungsbedingungen ansehen