"Handbook of Tableau Methods" - читать интересную книгу автора (M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga)