by Melvin Fitting (Author)
The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems.
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