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

Proof Methods for Modal and Intuitionistic Logics von M. Fitting

Sie sparen 14% des UVP sparen 14%

Gebundene Ausgabe
Versandfertig in 1-2 Wochen
209,00 €
Taschenbuch
Sofort lieferbar
185,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.

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

Versandkostenfrei

Sofort lieferbar

Ü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