\section{Presburger-Arithmetik}

\input{pres/intro}
\input{pres/ex}
\input{pres/dec}
\input{pres/code}
\input{pres/set}
\input{pres/aut}
\input{pres/product}
\input{pres/minus}
\input{pres/proj}
\input{pres/sum}
\input{pres/lower}
\input{pres/large}