\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Berka \bgroup\&\ \egroup
  Kreiser}{1973}]{logiktexte}
Karel Berka and Lothar Kreiser, editors.
\newblock {\em {Logik-Texte -- Kommentierte Au\esi wahl zur Geschichte der
  modernen Logik}}.
\newblock \akademieverlag, 1973.
\newblock \nth 2\,\rev\,\edn\ (\nth 1\,\edn\,1971; \nth
  4\,\rev\,\rev\,\edn\,1986).

\bibitem[\protect\citeauthoryear{Bernays\protect\bernaysindex}{1957}]{bernays-%
herbrand}
Paul Bernays\protect\bernaysindex.
\newblock {\Ue ber den Zusammenhang des \herbrand schen Satzes mit den neueren
  Ergebnissen von \schuette{\protectedschuetteindex} und {\sc Stenius}}.
\newblock In {\em Proceedings of the International Congress of Mathematicians
  1954}, Groningen and Amsterdam, 1957. Noordhoff and \northholland.

\bibitem[\protect\citeauthoryear{Church}{1936}]{Church36b}
Alonzo Church.
\newblock A note on the {Entscheidung\esi problem}.
\newblock {\em \jslname}, 1:40--41,101--102, 1936.

\bibitem[\protect\citeauthoryear{Cohen \bgroup\&\ \egroup
  Wartofsky}{1967}]{boston-studies-3}
Robert~S. Cohen and Marx~W. Wartofsky, editors.
\newblock {\em {\Proc\ of the Boston Colloquium for the Philosophy of Science,
  1964--1966}: In Memory of {\namefont Norwood Russell Hanson}}.
\newblock Number~3 in Boston Studies in the Philosophy of Science.
  \DReidelpublishing, 1967.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{1879}]{begriffssch%
rift}
Gottlob Frege\protectedfregeindex.
\newblock {\em {\Begriffsschrift, eine der arithmetischen nachgebildete
  Formelsprache de\es\ reinen Denken\es}}.
\newblock {Verlag von L. Nebert, \Halle}, 1879.
\newblock Corrected facsimile in \cite{begriffsschrift-und-andere}. \ Reprint
  of \PP{III}{VIII} and \PP{1}{54} in \cite[\PP{48}{106}]{logiktexte}. \
  {English} translation in \cite[\PP{1}{82}]{heijenoort-source-book}.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{1964}]{begriffssch%
rift-und-andere}
Gottlob Frege\protectedfregeindex.
\newblock {\em {\Begriffsschrift\ und andere Auf\-s\ae tze}}.
\newblock \wissenschaftlichebuchgesellschaftdarmstadt, 1964.
\newblock {Zweite Au\fli age, mit \husserlname s und \scholzname' Anmerkungen,
  herau\esi gegeben von {\namefont Ignacio Angelelli}}.

\bibitem[\protect\citeauthoryear{Gabbay{\protectedgabbayindex} \bgroup\&\
  \egroup Woods}{2004\ff}]{handbook-of-the-history-of-logic}
Dov Gabbay{\protectedgabbayindex} and John Woods, editors.
\newblock {\em Handbook of the History of Logic}.
\newblock \northholland, 2004\ff.

\bibitem[\protect\citeauthoryear{Gentzen}{1935}]{gentzen}
Gerhard Gentzen.
\newblock {Untersuchungen \ue ber das logische Schlie\sz en}.
\newblock {\em Mathematische Zeitschrift}, 39:176--210,405--431, 1935.
\newblock Also in \cite[\PP{192}{253}]{logiktexte}. {English} translation in
  \cite{gentzen-collected}.

\bibitem[\protect\citeauthoryear{Gentzen}{1969}]{gentzen-collected}
Gerhard Gentzen.
\newblock {\em The Collected Papers of \gentzenname}.
\newblock {\northholland}, 1969.
\newblock \Ed\ by \szaboname.

\bibitem[\protect\citeauthoryear{Gillman}{1987}]{writing-mathematics}
Leonard Gillman.
\newblock {\em Writing Mathematics Well}.
\newblock The Mathematical Association of America, 1987.

\bibitem[\protect\citeauthoryear{G{\oe
  de{\protectedgoedelindex}l}}{1930}]{goedel-completeness}
Kurt G{\oe de{\protectedgoedelindex}l}.
\newblock {Die Vollst\ae ndigkeit der Axiome des logischen Funktionen\-kalk\ue
  ls}.
\newblock {\em {\monatsheftempname}}, 37:349--360, 1930.
\newblock With {English} translation also in \cite[\Vol\,I,
  \PP{102}{123}]{goedelcollected}.

\bibitem[\protect\citeauthoryear{G{\oe
  de{\protectedgoedelindex}l}}{1986ff.}]{goedelcollected}
Kurt G{\oe de{\protectedgoedelindex}l}.
\newblock {\em Collected Works}.
\newblock {\oxfordunipress}, 1986ff.
\newblock \Ed\ by \fefermanname, \dawsonname\protect\dawsonindex,
  \goldfarbname, \heijenoortname, \kleenename, \parsonsname, \siegname,
  \etalabbrev.

\bibitem[\protect\citeauthoryear{Goldfarb{\protectedgoldfarbindex}}{1970}]{rev%
iew-herbrand-ecrits-logiques}
Warren Goldfarb{\protectedgoldfarbindex}.
\newblock Review of \cite{herbrand-ecrits-logiques}.
\newblock {\em The Philosophical Review}, 79:576--578, 1970.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1967}]%
{heijenoort-logic-calculus-language}
Jean~van Heijenoort{\protectedheijenoortindex}.
\newblock Logic as a calculus and logic as a language.
\newblock {\em Synthese}, 17:324--330, 1967.
\newblock Also in \cite[\PP{440}{446}]{boston-studies-3}. Also in
  \cite[\PP{11}{16}]{heijenoort-selected-essays}.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1971}]%
{heijenoort-source-book}
Jean~van Heijenoort{\protectedheijenoortindex}.
\newblock {\em From {\frege} to {\goedel}: A Source Book in Mathematical Logic,
  1879--1931}.
\newblock {\harvardunipress}, 1971.
\newblock {\nth 2\,\rev\ \edn\ (\nth 1\,\edn\,1967)}.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1975}]%
{heijenoort-herbrand}
Jean~van Heijenoort{\protectedheijenoortindex}.
\newblock \herbrand.
\newblock Unpublished typescript, \May\,18, 1975, \PPcount{15};
  \heijenoortname\ Papers, 1946--1988, Archives of American Mathematics, Center
  for American History, \unitexasaustin, Box\,3.8/86-33/1. \ Copy in
  \anellisarchives, 1975.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1982}]%
{heijenoort-oeuvre-herbrand}
Jean~van Heijenoort{\protectedheijenoortindex}.
\newblock {L'\oefranz uvre} logique de {\herbrand} et son contexte historique.
\newblock 1982.
\newblock In \cite[\PP{57}{85}]{herbrand-symposium}. \Rev\ English translation
  is \cite{heijenoort-work-herbrand}.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1986a}%
]{heijenoort-work-herbrand}
Jean~van Heijenoort{\protectedheijenoortindex}.
\newblock {\herbrand's} work in logic and its historical context.
\newblock 1986.
\newblock In \cite[\PP{99}{121}]{heijenoort-selected-essays}. \Rev\ English
  translation of \cite{heijenoort-oeuvre-herbrand}.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1986b}%
]{heijenoort-selected-essays}
Jean~van Heijenoort{\protectedheijenoortindex}.
\newblock {\em Selected Essays}.
\newblock Bibliopolis, Napoli, copyright 1985. Also published by Librairie
  Philosophique J. Vrin, \Paris, 1986, 1986.

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1992}]%
{heijenoort-modern-logic}
Jean~van Heijenoort{\protectedheijenoortindex}.
\newblock Historical development of modern logic.
\newblock {\em Modern Logic}, 2:242--255, 1992.
\newblock Written in 1974.

\bibitem[\protect\citeauthoryear{Herbran{\protectedherbrandindex}d}{1930}]{her%
brand-PhD}
Jacques Herbran{\protectedherbrandindex}d.
\newblock {\em {\herbrandPhDtitle}}.
\newblock PhD thesis, Universit\'e de Paris, 1930.
\newblock {Th\`eses} pr\'esent\'ees \`a la facult\'e des Sciences de Paris pour
  obtenir le grade de docteur\`es sciences math\'ematiques --- \frenchnth 1
  \nolinebreak th\`ese: Recherches sur la th\'eorie de la d\'emonstration ---
  \frenchnth 2 \nolinebreak th\`ese: Propositions donn\'ees par la facult\'e,
  Les \'equations de Fredholm --- Soutenues le 1930 devant la commission
  d'examen --- Pr\'esident: M. \vessiot, Examinateurs: MM. {\namefont Denjoy,
  Frechet} --- Vu et approuv\'e, \Paris, le 20\,Juin\,1929, Le doyen de la
  facult\'e des Sciences, {\namefont C. Maurain} --- Vu et permis d'imprimer,
  \Paris, le 20\,Juin\,1929, Le recteur de l'Academie de \Paris, {\namefont S.
  Charlety} --- No.\,d'ordre\,2121, S\'erie\,A, No.\,de\,S\'erie\,1252 ---
  Imprimerie J. Dziewulski, Varsovie --- \Univ\ de \Paris. \ Also in Prace
  \WarsawScientificSocietyIII\ Nauk Matematyczno-Fizychnych, Nr.\,33,
  \Warszawa. \ A contorted, newly typeset reprint is
  \cite[\PP{35}{153}]{herbrand-ecrits-logiques}. \ Annotated {E}nglish
  translation {\em Investigations in Proof Theory}\/ by \goldfarbname\
  (\litchapfromtoref 1 4) and \drebenname\ and \heijenoortname\ (\litchapref 5)
  with a brief introduction by \goldfarb\ and extended notes by \goldfarb\
  \mbox{(\litnotefromtoref A C, K--M, O)}, \dreben\ (\litnotefromtoref F I),
  \dreben\ and \goldfarb\ (\litnoterefss D J N), and \dreben, \huffname, and
  \hailperinname\ (\litnoteref E) in
  \cite[\PP{44}{202}]{herbrand-logical-writings}. \ {E}nglish translation of
  \litsectref 5 with a different introduction by \heijenoort\ and some
  additional extended notes by \dreben\ also in
  \cite[\PP{525}{581}]{heijenoort-source-book}. \ \bibcrit{\herbrand's
  \PhDthesis, his cardinal work, dated \herbrandPhDdating; submitted at the
  \Univ\ of \Paris; defended at the Sorbonne \herbrandPhDdefensedate; printed
  in \WarszawaEnglish, 1930.}

\bibitem[\protect\citeauthoryear{Herbran{\protectedherbrandindex}d}{1968}]{her%
brand-ecrits-logiques}
Jacques Herbran{\protectedherbrandindex}d.
\newblock {\em {\'E}crits Logiques}.
\newblock Presses Universitaires de France, Paris, 1968.
\newblock Cortorted \edn~of \herbrand's logical writings by \heijenoortname.
  Review in \cite{review-herbrand-ecrits-logiques}. \hskip.2em {E}nglish
  translation is \cite{herbrand-logical-writings}.

\bibitem[\protect\citeauthoryear{Herbran{\protectedherbrandindex}d}{1971}]{her%
brand-logical-writings}
Jacques Herbran{\protectedherbrandindex}d.
\newblock {\em Logical Writings}.
\newblock {\harvardunipress}, 1971.
\newblock \Ed\ by \goldfarbname. Translation of \cite{herbrand-ecrits-logiques}
  with additional annotations, brief introductions, and extended notes by
  \goldfarb, \drebenname, and \heijenoortname. \
  \bibcrit{\textonherbrandlogicalwritings}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays\protect\bernaysindex}{1934}]{grundlagen-first-edition-volume-one}
David Hilbe{\protectedhilbertindex}rt and Paul Bernays\protect\bernaysindex.
\newblock {\em {Die Grundlagen der Mathematik --- Erster Band}}.
\newblock Number~XL in {Die Grundlehren der Mathematischen Wissenschaften in
  Einzeldarstellungen}. {\springerverlag}, 1934.
\newblock \nth 1\,\edn\ (\nth 2\,\edn\ is
  \cite{grundlagen-second-edition-volume-one}). English translation is
  \makeaciteoftwo{grundlagen-german-english-edition-volume-one-one}{grundlagen%
-german-english-edition-volume-one-two}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays\protect\bernaysindex}{1968}]{grundlagen-second-edition-volume-one}
David Hilbe{\protectedhilbertindex}rt and Paul Bernays\protect\bernaysindex.
\newblock {\em {Die Grundlagen der Mathematik~I}}.
\newblock Number~40 in {Die Grundlehren der Mathematischen Wissenschaften in
  Einzeldarstellungen}. {\springerverlag}, 1968.
\newblock \nth 2\,\rev\,\edn\,of \cite{grundlagen-first-edition-volume-one}.
  English translation is
  \makeaciteoftwo{grundlagen-german-english-edition-volume-one-one}{grundlagen%
-german-english-edition-volume-one-two}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays\protect\bernaysindex}{2013a}]{grundlagen-german-english-edition-volu%
me-one-one}
David Hilbe{\protectedhilbertindex}rt and Paul Bernays\protect\bernaysindex.
\newblock {\em {Grundlagen der Mathematik~I --- Foundations of Mathematics~I,
  Part\,A: \whatisinVolIPartA}}.
\newblock \url{http://wirth.bplaced.net/p/hilbertbernays}, 2013.
\newblock Thoroughly \rev\,\nth 2\,\edn\ (\nth 1\,\edn\ \collegepublications,
  2011). First English translation and bilingual facsimile \edn\ of the \nth 2
  German \edn\ \cite{grundlagen-second-edition-volume-one}, \incl\ the
  annotation and translation of all differences of the \nth 1 German \edn\
  \cite{grundlagen-first-edition-volume-one}. Translated and commented by
  \wirthname. \Ed\ by \wirthname, \siekmannname, \michaelgabbayname,
  \gabbayname. Advisory Board: \siegname\ (chair), \anellisname, \awodeyname,
  \baazname, \buchholzname, \buldtname, \kahlename, \mancosuname, \parsonsname,
  \peckhausname, \taitname, \tappname, \zachname.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays\protect\bernaysindex}{2013b}]{grundlagen-german-english-edition-volu%
me-one-two}
David Hilbe{\protectedhilbertindex}rt and Paul Bernays\protect\bernaysindex.
\newblock {\em {Grundlagen der Mathematik~I --- Foundations of Mathematics~I,
  Part\,B: \whatisinVolIPartB}}.
\newblock \url{http://wirth.bplaced.net/p/hilbertbernays}, 2013.
\newblock Thoroughly \rev\,\nth 2\,\edn. First English translation and
  bilingual facsimile \edn\ of the \nth 2 German \edn\
  \cite{grundlagen-second-edition-volume-one}, \incl\ the annotation and
  translation of all deleted texts of the \nth 1 German \edn\
  \cite{grundlagen-first-edition-volume-one}. Translated and commented by
  \wirthname. \Ed\ by \wirthname, \siekmannname, \michaelgabbayname,
  \gabbayname. Advisory Board: \siegname\ (chair), \anellisname, \awodeyname,
  \baazname, \buchholzname, \buldtname, \kahlename, \mancosuname, \parsonsname,
  \peckhausname, \taitname, \tappname, \zachname.

\bibitem[\protect\citeauthoryear{L{\"o}wenheim{\protectedloewenheimindex}}{191%
5}]{loewenheim-1915}
Leopold L{\"o}wenheim{\protectedloewenheimindex}.
\newblock {\Ue ber M\oe glich\-keiten im Relativ\-kalk\ue l}.
\newblock {\em {\MathematischeAnnalen}}, 76:228--251, 1915.
\newblock {English} translation {\em On Possibilities in the Calculus of
  Relatives} by \bauermengelbergname\ with an introduction by \heijenoortname\
  in \cite[\PP{228}{251}]{heijenoort-source-book}.

\bibitem[\protect\citeauthoryear{Smullyan}{1968}]{smullyan}
Raymond~M. Smullyan.
\newblock {\em First-Order Logic}.
\newblock {\springerverlag}, 1968.

\bibitem[\protect\citeauthoryear{Stern}{1982}]{herbrand-symposium}
Jacques Stern, editor.
\newblock {\em {\Proc\ of the \herbrand\ Symposium, Logic Colloquium'81,
  Marseilles, France, \Jul\,1981}}.
\newblock {\northholland}, 1982.

\bibitem[\protect\citeauthoryear{Turing}{1936/7}]{turing-entscheidungsproblem}
Alan~M. Turing.
\newblock On computable numbers, with an application to the {Entscheidung\esi
  problem}.
\newblock {\em Proceedings of the London Mathematical Society, Ser.\,2},
  42:230--265, 1936/7.
\newblock Received \May\,28, 1936\@. Correction in
  \cite{turing-entscheidungsproblem-correction}.

\bibitem[\protect\citeauthoryear{Turing}{1937}]{turing-entscheidungsproblem-co%
rrection}
Alan~M. Turing.
\newblock On computable numbers, with an application to the {Entscheidung\esi
  problem}. {A} correction.
\newblock {\em Proceedings of the London Mathematical Society, Ser.\,2},
  43:544--546, 1937.
\newblock Correction of \cite{turing-entscheidungsproblem} according to the
  errors found by \bernaysname.

\bibitem[\protect\citeauthoryear{Whitehead{\protect\whiteheadindex} \bgroup\&\
  \egroup Russe{\protectedrussellindex}ll}{1910--1913}]{PM}
Alfred~North Whitehead{\protect\whiteheadindex} and Bertrand
  Russe{\protectedrussellindex}ll.
\newblock {\em Principia Mathematica}.
\newblock {\cambridgeunipress}, 1910--1913.
\newblock {\nth 1\,\edn}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}
  \bgroup\&al.\egroup }{2009}]{herbrand-handbook}
Claus-Peter Wirth{\protectedwirthindex}, J{\"o}rg Siek{\-}mann,
  {\mbox{Ch}}ristoph Benz{\-}m{\ue}ller{\protectedbenzmuellerindex}, and Serge
  Autexier{\protectedautexierindex}.
\newblock \herbrandname: Life, logic, and automated deduction.
\newblock 2009.
\newblock In \cite[\Vol\,5: Logic from \russell\ to \church,
  \PP{195}{254}]{handbook-of-the-history-of-logic}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}
  \bgroup\&al.\egroup }{2014}]{SR--2009--01}
Claus-Peter Wirth{\protectedwirthindex}, J{\"o}rg Siek{\-}mann,
  {\mbox{Ch}}ristoph Benz{\-}m{\ue}ller{\protectedbenzmuellerindex}, and Serge
  Autexier{\protectedautexierindex}.
\newblock {\em Lectures on {\herbrandname} as a Logician}.
\newblock {SEKI-Report SR--2009--01 (ISSN 1437--4447)}. {SEKI Publications},
  {DFKI Bremen GmbH, Safe and Secure Cognitive Systems, Cartesium, Enrique
  Schmidt Str.\,5, D--28359 Bremen, Germany}, 2014.
\newblock \Rev\,\edn\ \May\,2014, \PPcount{ii+82},
  {\url{http://arxiv.org/abs/0902.4682}}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2012}]{wirth-hei%
jenoort}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock {\herbrandsfundamentaltheorem} in the eyes of {\heijenoortname}.
\newblock {\em {\logicauniversalisname}}, 6:485--520, 2012.
\newblock Received \Jan\,12, 2012. Published online \Jun\,22, 2012,
  \url{http://dx.doi.org/10.1007/s11787-012-0056-7}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2014}]{wirth-hei%
jenoort-SEKI}
Claus-Peter Wirth{\protectedwirthindex}.
\newblock {\em {\herbrandsfundamentaltheorem:} The Historical Facts and their
  Streamlining}.
\newblock {SEKI-Report SR--2014--01 (ISSN 1437--4447)}. {SEKI Publications},
  {DFKI Bremen GmbH, Safe and Secure Cognitive Systems, Cartesium, Enrique
  Schmidt Str.\,5, D--28359 Bremen, Germany}, 2014.
\newblock \PPcount{ii+45}, \url{http://arxiv.org/abs/1405.6317}.

\end{thebibliography}