\begin{thebibliography}{1}

\bibitem{mendelson}
E.~Mendelson.
\newblock {\em Introduction to Mathematical Logic}.
\newblock Wadsworth and Brooks, 3. edition, 1987.

\end{thebibliography}
