Proof theorists
http://dbpedia.org/resource/Category:Proof_theorists an entity of type: Concept
rdf:langString
Proof theorists
rdf:langString
Proof theorists
xsd:integer
35016979
xsd:integer
559703886