Source: wikibot/structural-proof-theory

= Structural proof theory
{wiki=Structural_proof_theory}