Ontify
⌘
S
⌘
S
Proof Theory - Ontify
Share
Proof Theory
Proof Systems
Branch of mathematical logic.
Wikipedia | Proof Theory
Statements about
Proof Theory
External Pages About Proof Theory
KBpedia
Google Knowledge Graph
Dewey Decimal Classification
Instance Of
Academic Discipline
Academic Major
Subclass Of
Mathematical Logic
Stack Exchange Tag
https://mathoverflow.net/tags/proof- ...
Wikidata
