Arithmetical Transfinite Recursion

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual First-order theory
rdfs:label	Arithmetical Transfinite Recursion
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/List_of_first-order_theories
skos:prefLabel	Arithmetical Transfinite Recursion

About: clgr:Arithmetical Transfinite Recursion_(20770787)