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

Proof Methods for Modal and Intuitionistic Logics von M. Fitting

Sie sparen 2% des UVP sparen 2%

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:
9789027715739

Verlag:
Springer

Einband:
Gebundene Ausgabe

Seitenzahl:
555

Veröffentlicht:
29. April 1983

Ausgabe:
1983

Abmessungen:
297x210x31 mm.

Gewicht:
2140 g.

209,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