Review on "Dual Tableaux: Foundations, Methodology, Case Studies"

Review on "Dual Tableaux: Foundations, Methodology, Case Studies" (authors: Ewa Orlowska and Joanna Golinska-Pilarek), Springer, 2011 This is my recent review on the book about "dual tableaux" by Ewa Orlowska and Joanna Golinska-Pilarek (in a few words: good book, but I had some gentle criticisms on the real nature of dual tableaux and on the scope of the results: Ewa Orlowska and Joanna Golinska-Pilarek, Dual Tableaux: Foundations, Methodology, Case Studies, Springer, Series: Trends in Logic, Vol. 33, 2011, pp. xvi+523, 113 illus. ISBN: 978-94-007-0004-8 Available as 'Online First' on SpringerLink: http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s11225-013-9467-6 Since Springer is charging the fortune of EURO 159,99 for the 4-pages review, I am here making freely available the draft version (almost identical to the published version): http://dl.dropbox.com/u/6465890/Reviews/Carnielli_Dual%20Tableaux-%20Foundations%2C%20Methodology%2C%20Case%20Studies.pdf