"Structural Proof Theory" - читать интересную книгу автора (Sara Negri, Jan Von Plato)