Goal-Directed Proof Theory: 21 (Applied Logic Series)

Goal-Directed Proof Theory: 21 (Applied Logic Series)

by Dov M. Gabbay (Author), N. Olivetti (Author)

Synopsis

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged.

$179.49

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 284
Edition: 2000
Publisher: Springer
Published: 31 Aug 2000

ISBN 10: 0792364732
ISBN 13: 9780792364733