\begin{thebibliography}{Gru06b}

\bibitem[Gru04]{grue04}
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[Gru05]{grue05}
K.~Grue.
\newblock The implementation of logiweb.
\newblock In Bernd Fischer, Stephan Schulz, and Geoff Sutcliffe, editors, {\em
  Empirically Successful Classical Automated Reasoning (ESCAR)}, 2005.

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

\bibitem[Gru06b]{appendix}
K.~Grue.
\newblock Logiweb sequent calculus, appendix.
\newblock Technical report, Logiweb, 2006.
\newblock {\small \url{\lgwCheckUrl body/tex/appendix.pdf}}.

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

\end{thebibliography}