"Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011" - читать интересную книгу автора (Kai Brünnler, George Metcalfe)