Name: Proof Methods for Modal and Intuitionistic Logics
Price: 174.00 EUR
Availability: InStock
Author: M. Fitting
ISBN: 9789048183814

Proof Methods for Modal and Intuitionistic Logics von M. Fitting

Sie sparen 19% des UVP sparen 19%

Gebundene Ausgabe
Versandfertig in 1-2 Wochen
209,00 €
Taschenbuch
Versandfertig in 1-2 Wochen
174,00 €

Über Proof Methods for Modal and Intuitionistic Logics

The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

Sprache:
Englisch

ISBN:
9789048183814

Verlag:
Springer

Einband:
Taschenbuch

Seitenzahl:
555

Veröffentlicht:
22 Dezember 2010

Ausgabe:
11983

Abmessungen:
154x301x35 mm.

Gewicht:
800 g.

174,00 € inkl. MwSt.
~~213,99 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über M. Fitting

Alle Bücher von M. Fitting anzeigen

Beschreibung von Proof Methods for Modal and Intuitionistic Logics

The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.

Kund*innenbewertungen von Proof Methods for Modal and Intuitionistic Logics

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Proof Methods for Modal and Intuitionistic Logics ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Wissenschaft

Proof Methods for Modal and Intuitionistic Logics

Über M. Fitting

Beschreibung von Proof Methods for Modal and Intuitionistic Logics

Kund*innenbewertungen von Proof Methods for Modal and Intuitionistic Logics

Willkommen bei den Tales Buchfreunden und -freundinnen