(Q7625047)
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(2 entries)
- enwiki Structural proof theory
- ptwiki Teoria da prova estrutural
subdiscipline of proof theory that studies proof calculi that support a notion of analytic proof