Tell your friends about this item:
Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic Ewa Orlowska 2011 edition
Dual Tableaux: Foundations, Methodology, Case Studies - Trends in Logic
Ewa Orlowska
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.
539 pages, 8 black & white tables, biography