Wikidata facts
- Instance of
- academic major
- Subclass of
- mathematical logic
Show 5 more facts
- topic's main category
- Category:Proof theory
- ACM Classification Code (2012)
- 10003792
- is the study of
- mathematical proof
- Stack Exchange tag
- mathoverflow.net/tags/proof-theory
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0