"Theorem Proving with Analytic Tableaux and Related Methods 5 conf., TABLEAUX '96" - читать интересную книгу автора (Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi)