Franks

Gentzen's Logical Calculi

(the theory pamphlet)

Jetzt vorbestellen! Wir liefern bei Erscheinen (Erscheint vsl. Juli 2025)

ca. 53,49 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Fachbuch

Buch. Softcover

2025

40 s/w-Abbildungen, 20 Farbabbildungen.

In englischer Sprache

Springer. ISBN 978-3-031-91998-5

Format (B x L): 15,5 x 23,5 cm

Produktbeschreibung

The Theory Pamphlet presents Gerhard Gentzen's natural deduction and sequent calculi with emphasis on the theory behind the formalism. Its five chapters serve as an advanced logic textbook, introducing universal properties, proof normalization techniques, and decision procedures for classical, intuitionistic, and linear logics. The same material serves also as a philosophical treatise, describing the meaning of, significance of, and relationships among three different ways to conceptualize the idea of logical completeness. Most of the material featured has never before been presented in a systematic and accessible manner.

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte

Autorinnen/Autoren

  • Rezensionen

    Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:

      • nach oben

        Ihre Daten werden geladen ...