TY  - BOOK
AU  - D'Agostino Marcllo Ed.
TI  - Handbook of tableau methods
U1  - R14g, N9 
PY  - 1999///
CY  - Dordrecht
PB  - Kluwer       
KW  - Symbolic Logic
ER  -