M. Fitting
Proof Methods for Modal and Intuitionistic Logics - Synthese Library M. Fitting 1983 edition

Name: Proof Methods for Modal and Intuitionistic Logics - Synthese Library
Price: 1645 HKD
Availability: OutOfStock
Author: M. Fitting

Price

HK$ 1,645

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 23 - 29

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Also available as:

Paperback Book

Softcover reprint of the original 1st ed. 1983 edition

(2010) HK$ 1,645

Proof Methods for Modal and Intuitionistic Logics - Synthese Library

M. Fitting

1983 edition

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

555 pages, biography

Media	Books Hardcover Book (Book with hard spine and cover)
Released	April 30, 1983
ISBN13	9789027715739
Publishers	Springer
Pages	555
Dimensions	210 × 297 × 31 mm · 966 g
Language	English