\documentclass[a4paper,10pt,openany,draft]{book}
\usepackage[polutonikogreek,english]{babel}
\usepackage[sffont=cmr,oxonia]{psgreek}
%\usepackage[cmr]{psgreek}
%\usepackage{psgreek}
\usepackage{showlabels}
\usepackage[all]{xy}
%\pagestyle{headings}
%\usepackage{amsrefs}  I don't know why this does not work.

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

%\newcommand{\Eng}[1]{\textsf{#1}}
\newcommand{\Eng}[1]{\textbf{\textsl{#1}}}

\newcommand{\named}[1]{\widehat{#1}}

\newcommand{\Gk}[1]{\selectlanguage{polutonikogreek}#1\selectlanguage{english}}
%\newcommand{\Gkemph}[1]{\textbf{\textsf{#1}}}
\newcommand{\Gkemph}[1]{\underline{\rule[-0.45ex]{0ex}{1.5ex}#1}}

\newcommand{\propositional}{propositional}  % I decided to call
				% Boolean connectives propositional

\title{Introduction to Model-Theory\\ and Mathematical Logic}
\author{David Pierce}
\date{2006.01.03}

\begin{document}

\maketitle

%\pagestyle{headings}
\let\mypage\thepage
\renewcommand{\thepage}{\roman{page}}
\setcounter{page}1

\input{preface}

 \tableofcontents

\newpage
\setcounter{page}1
\let\thepage\mypage

%\setcounter{chapter}{-1}

\input{intro}

\input{prop}

\input{first-order}

\input{qe}

\input{elementary}

\input{compactness}

\input{completeness}

\input{types}

\bibliographystyle{plain}
\bibliography{../../../../TeX/references.bib}

\end{document}