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