This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Natural deduction field

Natural deduction

https://www.wikidata.org/wiki/Q1572108
Field Hierarchy
Parent
Computer science
55.7M papers
Mathematics
21.4M papers
Programming language
7.3M papers
Discrete mathematics
708k papers
Current
Natural deduction
2,499 papers
Child
Proof calculus
995 papers
Cut-elimination theorem
746 papers
Dependent type
658 papers
Curry–Howard correspondence
422 papers
Trends