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
More by Ewa Orlowska
Show allMore from the same publisher
See all of Ewa Orlowska ( e.g. Paperback Book and Hardcover Book )