\input{../opening}

\input{../bussproofs.tex}

\renewcommand{\checkmark}{\tikz\fill[scale=0.4,alert](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;}
\renewcommand{\xmark}{\alert{\boldsymbol \times}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\maketitleslide{--- Meta-Theorems of Predicate Logic ---}
               {December 1, 2014}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\theme{Meta-Theorems of Predicate Logic}