"Structural proof theory" - читать интересную книгу автора (Professor Sara Negri, Jan von Plato, Aarne Ranta)