Proof theory

http://dbpedia.org/resource/Category:Proof_theory an entity of type: Concept

rdf:langString Proof theory
rdf:langString Proof theory
xsd:integer 693693
xsd:integer 953110220
skos:Concept
dbpedia:Category:Syntax_(logic)
dbpedia:Category:Mathematical_proofs
dbpedia:Category:Mathematical_logic
dbpedia:Category:Theories
dbpedia:Category:Metalogic
dbpedia:Template:Commons_category
dbpedia:Template:Portal
dbpedia:Template:Cat_main
dbpedia:Template:Contrast
<http://en.wikipedia.org/wiki/Category:Proof_theory?oldid=953110220&ns=14>

data from the linked data cloud