"Goal-Directed Proof Theory" - читать интересную книгу автора (Gabbay D., Olivetti N.)