\begin{thebibliography}{10}

\bibitem{berline97}
C.~Berline and K.~Grue.
\newblock A $\kappa$-denotational semantics for {M}ap {T}heory in {ZFC+SI}.
\newblock {\em Theoretical Computer Science}, 179(1--2):137--202, jun 1997.

\bibitem{church41}
A.~Church.
\newblock {\em The Calculi of Lambda-Conversion}.
\newblock Princeton University Press, 1941.

\bibitem{godel}
K.~G{\"o}del.
\newblock {\"U}ber for\-mal un\-ent\-scheid\-ba\-re \mbox{S\"at}\-ze der
  \mbox{Prin}\-ci\-pia \mbox{Mathe}\-ma\-ti\-ca und ver\-wand\-ter
  \mbox{Sys}\-teme \mbox{I}.
\newblock {\em Mo\-nats\-hef\-te f{\"u}r Mathe\-ma\-tik und Phy\-sik},
  12(\mbox{XXXVIII}):173--198, 19\-31.

\bibitem{grue92}
K.~Grue.
\newblock Map theory.
\newblock {\em Theoretical Computer Science}, 102(1):1--133, jul 1992.

\bibitem{MathComp}
K.~Grue.
\newblock {\em Mathematics and Computation (lecture notes)}, volume 1--3.
\newblock DIKU, 7. edition, 2001.
\newblock \\http:/$\!$/www.diku.dk/\verb+~+grue/papers/mac0102/.

\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{TeXbook}
D.~Knuth.
\newblock {\em The TeXbook}.
\newblock Addison Wesley, 1983.

\bibitem{Gordon79}
C.~P.~Wadsworth M.~J.~Gordon, A. J.~Milner.
\newblock {\em Edinburgh {LCF}, A mechanised logic of computation}, volume~78
  of {\em Lecture Notes in Computer Science}.
\newblock Springer-Verlag, 1979.

\bibitem{mccarthy60}
J.~McCarthy.
\newblock Recursive functions of symbolic expressions and their computation by
  machine.
\newblock {\em Communications of the ACM}, pages 184--195, 1960.

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

\bibitem{steele}
Guy~L. Steele.
\newblock {\em Common Lisp---The Language}.
\newblock Digital Press, second edition, 1990.

\end{thebibliography}