Handbook of tableau methods - D'Agostino Marcllo Ed. (Dordrecht Kluwer, 1999)
Keywords: Symbolic Logic