Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic)

Dual Tableaux: Foundations, Methodology, Case Studies (Trends in Logic)

by EwaOrlowska (Author), JoannaGoliskaPilarek (Author)

Synopsis

Providing a reference for researchers and students, this volume presents the fundamental concepts of dual tableaux, and a wide scope of applications. These include logic methods used in mathematics and philosophy, as well as applied theories of computational logic.

$225.60

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 567
Edition: 1st Edition.
Publisher: Springer
Published: 30 Nov 2010

ISBN 10: 9400700040
ISBN 13: 9789400700048