Presburger arithmetic (English, noun)
expansion: Presburger arithmetic (uncountable)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: A set of axioms of first-order logic for the natural numbers specifying the operations of zero, successor, and addition, including a first-order schema of induction, without multiplication.
tags: uncountable
Forms: