Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose ...

Presents propositional logic, combinatorics, methods of proof, mathematical systems, algebra of sets, matrix algebra, relations and functions, recursion and generating functions, applications to ...

This is a preview. Log in through your library . Abstract A method used by Kac in the study of Wiener functionals is adapted to the problem of calculating in closed form the joint moment generating ...

Partition functions, which enumerate the distinct ways a positive integer may be expressed as a sum of positive integers, have long captivated mathematicians due to their deep connections with number ...