Proof theory

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

Field Hierarchy

Parent
Mathematics 22.2M papers	Geometry 6.4M papers	Mathematical proof 44.3k papers
Current
Proof theory 2,583 papers
Child
Structural proof theory 1,198 papers

Trends

Notes

History