This is an old revision of the document!
Lecture 15: Quantifier Elimination for Presburger Arithmetic and Beyond
Introduction
Presburger Arithmetic
Boolean Algebra with Presburger Arithmetic
Definition of Boolean Algebra with Presburger Arithmetic