"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000" - читать интересную книгу автора (Roy Dyckhoff)