\begin{thebibliography}{1}

\bibitem{logiweb}
K.~Grue.
\newblock Logiweb.
\newblock In Fairouz Kamareddine, editor, {\em Mathematical Knowledge
  Management Symposium 2003}, volume~93 of {\em Electronic Notes in Theoretical
  Computer Science}, pages 70--101. Elsevier, 2004.

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

\end{thebibliography}
