\begin{thebibliography}{Men97}

\bibitem[Gru06]{check}
K.~Grue.
\newblock A logiweb base page.
\newblock Technical report, Logiweb, 2006.
\newblock {\small \url{\lgwCheckUrl}}.

\bibitem[Men97]{mendelson}
E.~Mendelson.
\newblock {\em Introduction to Mathematical Logic}.
\newblock Chapmann \& Hall, 4. edition, 1997.

\end{thebibliography}
