Labelled Deductive Systems: Volume 1: Vol 1 (Oxford Logic Guides)

Labelled Deductive Systems: Volume 1: Vol 1 (Oxford Logic Guides)

by Dov M . Gabbay (Author)

Synopsis

This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy.

$161.75

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 512
Publisher: Clarendon Press
Published: 05 Sep 1996

ISBN 10: 0198538332
ISBN 13: 9780198538332