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

New
Hardcover
1996
$160.22

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.

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.

$160.22

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 512
Publisher: Clarendon Press
Published: 05 Sep 1996
ISBN 10: 0198538332
ISBN 13: 9780198538332

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

New

$160.22

Synopsis

$160.22

More Information