Arithmetical comprehension

CaLiGraph

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

About: clgr:Arithmetical comprehension_(17159200)