Primitive recursive arithmetic

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Formal theory of arithmetic
rdfs:label	Primitive recursive arithmetic
owl:sameAs	dbr:Primitive_recursive_arithmetic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Formal_theories_of_arithmetic
skos:prefLabel	Primitive recursive arithmetic
skos:altLabel	PRA primitive recursive arithmetic
is clgo:knownFor of	Reuben Goodstein

About: clgr:Primitive_recursive_arithmetic