TY  - BOOK
AU  - Agostino Marcello D
AU  - Gabbay Dov M
AU  - Hahnle Reiner
TI  - Handbook of tableau methods
U1  - 511.3 
PY  - 1999///
CY  - Dordrecht
PB  - Kluwer Academic
KW  - Mathematical logic
ER  -