Structural proof theory

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

Field Hierarchy

Parent
Mathematics 22.2M papers	Geometry 6.4M papers	Mathematical proof 44.3k papers	Proof theory 2,583 papers
Current
Structural proof theory 1,198 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