\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{1}

\bibitem{curry:foundations}
Haskell~B. Curry, \emph{Foundations of mathematical logic}, Dover Publications,
  Inc., 1977.

\bibitem{gs:discretemaths}
David Gries and Fred B.Schneider, \emph{A logical approach to discrete
  mathematics}, Springer-Verlag, 1993.

\bibitem{DEK:TAoCP-I}
Donald~E. Knuth, \emph{Fundamental algorithms}, third ed., The Art of Computer
  Programming, vol.~I, Addison-Wesley, 1998.

\bibitem{DEK:TAoCP-III}
\bysame, \emph{Sorting and searching}, The Art of Computer Programming, vol.
  III, Addison-Wesley, 1998.

\bibitem{apostol:calculus}
Tom M.Apostol, \emph{Calculus: One-variable calculus, with an introduction to
  linear algebra}, second edition ed., vol.~I, John Wiley \& Sons, Inc., 1967.

\end{thebibliography}
