Natural deduction

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

Field Hierarchy

Parent
Computer science 54.8M papers	Mathematics 21.1M papers	Programming language 7.2M papers	Discrete mathematics 700k papers
Current
Natural deduction 2,474 papers
Child
Proof calculus 993 papers	Cut-elimination theorem 744 papers	Dependent type 647 papers	Curry–Howard correspondence 421 papers

Trends

Notes

History