\begin{thebibliography}{1}

\bibitem{grue:base}
Klaus Grue.
\newblock {\em A Logiweb base page}.
\newblock http://www.diku.dk/~grue/logiweb/ 20050502/home/grue/base/latest/,
  2005.

\bibitem{grue:peano}
Klaus Grue.
\newblock {\em Peano arithmetic}.
\newblock http://www.diku.dk/~grue/logiweb/
  20050502/home/grue/peano-axioms/latest/, 2005.

\bibitem{mendelson}
Elliott Mendelson.
\newblock {\em Introduction to Mathematical Logic}.
\newblock Chapman and Hall/CRC, 4. edition, 1997.

\end{thebibliography}
