Haben Sie Fragen? Einfach anrufen, wir helfen gerne: Tel. 089/210233-0
oder besuchen Sie unser Ladengeschäft in der Pacellistraße 5 (Maxburg) 80333 München
+++ Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen? Tel. 089/210233-0

Gentzen's Logical Calculi

53,49 €*

Dieses Produkt erscheint am 6. August 2025

Produktnummer: 182800bc32574d4f45a8584d83e8d90fe7
Autor: Franks, Curtis
Themengebiete: Completeness Gentzen's Logical Calculi Gerhard Gentzen Natural Deduction Sequent Calculus Universal Property philosophical logic
Veröffentlichungsdatum: 06.08.2025
EAN: 9783031919985
Sprache: Englisch
Seitenzahl: 102
Produktart: Kartoniert / Broschiert
Verlag: Springer International Publishing
Untertitel: (the theory pamphlet)
Produktinformationen "Gentzen's Logical Calculi"
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.

Sie möchten lieber vor Ort einkaufen?

Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.

Juristische Fachbuchhandlung
Georg Blendl

Parcellistraße 5 (Maxburg)
8033 München

Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen