Structural Proof Theory, a discipline at the heart of logic, is concerned with the study of proofs as structured objects, focusing on their inherent form and...
View in Alexandria