Natural deduction

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

Field Hierarchy

Parent
Computer science 62.9M papers	Mathematics 22.2M papers	Programming language 7.7M papers	Discrete mathematics 696k papers
Calculus 28 papers
Current
Natural deduction 2,776 papers
Child
Proof calculus 1,048 papers	Cut-elimination theorem 770 papers	Dependent type 669 papers	Curry–Howard correspondence 438 papers

Trends

Notes

History