Structural proof theory

https://www.wikidata.org/wiki/Q7625047

Field Hierarchy

Parent
Mathematics 21.8M papers	Geometry 6.3M papers	Mathematical proof 43.7k papers	Proof theory 2,561 papers
Current
Structural proof theory 1,186 papers
Child
Furstenberg's proof of the infinitude of primes 0 papers	Proof of impossibility 0 papers	Proof by contradiction 0 papers	Proof by contrapositive 0 papers
Calculus of structures 0 papers

Trends

Notes

History