Rare
Concepts

Presburger arithmetic

—monthly views
0copies owned
—player watchlists

Concepts

Presburger arithmetic

Decidable first-order theory of the natural numbers with addition

rare · Q956059

Part of formal system · 92 cardsSource on Wikidata

Related cards · formal system

See all 92

Related cards · set

See all 471

Related cards · theory

See all 992

Related categories