\documentclass[a4paper,10pt,twoside,draft]{report}
%\usepackage{showlabels}
\pagestyle{headings}

\input{../../math/abbreviations}
\input{../../math/format}
\input{../../math/report-theorems}
\renewcommand{\tuple}[1]{\vec{#1}\,}
\newcommand{\bref}[1]{\textbf{\ref{#1}}}
\newcommand{\Fmla}{\operatorname{Fm}_{\lang}}
\newcommand{\varble}{x}
\renewcommand{\phi}{\varphi}

\title{Introduction to Model-theory\\ and Mathematical Logic}
\author{David Pierce}
\date{2005.01.13}


\begin{document}
\maketitle
\tableofcontents

%\setcounter{chapter}{-1}

\input{mod-thy-text/intro}

\input{mod-thy-text/prop}

\input{mod-thy-text/first-order}

\input{mod-thy-text/QE}

\input{mod-thy-text/elementary}

\input{mod-thy-text/compactness}

\input{mod-thy-text/completeness}

\input{mod-thy-text/types}

\bibliographystyle{plain}
\bibliography{../../math/references}

\end{document}