Proof Methods for Modal and Intuitionistic Logics (Synthese Library): 169

Proof Methods for Modal and Intuitionistic Logics (Synthese Library): 169

by Melvin Fitting (Author)

Synopsis

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

$304.44

Save:$12.53 (4%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 568
Edition: Softcover reprint of the original 1st ed. 1983
Publisher: Springer
Published: 25 Dec 2010

ISBN 10: 9048183812
ISBN 13: 9789048183814