\section{Prädikatenlogik}

\input{pl/intro}
\input{pl/syn}
\input{pl/sem}
\input{pl/th}
\input{pl/ue}
\input{pl/also}