\begin{thebibliography}{}

\bibitem[\protect\citeauthoryear{Ackermann\protect\ackermannindex}{1925}]{acke%
rmann-1925}
Wilhelm Ackermann\protect\ackermannindex, 1925.
\newblock {Begr\ue ndung des \glqq tertium non datur\grqq\ mittel\es\ der
  \hilbert\-schen Theorie der Widerspruch\esi freiheit}.
\newblock {\em {\MathematischeAnnalen}}, 93:1--36.
\newblock Received \Mar\,30, 1924. Inauguraldissertation, 1924, \Goettingen.

\bibitem[\protect\citeauthoryear{Ackermann\protect\ackermannindex}{1938}]{acke%
rmann-mengentheoretische-Begruendung}
Wilhelm Ackermann\protect\ackermannindex, 1938.
\newblock {Mengen\-theoreti\-sche Be\-gr\ue n\-dung der Logik}.
\newblock {\em {\MathematischeAnnalen}}, 115:1--22.
\newblock Received \Apr\,23, 1937.

\bibitem[\protect\citeauthoryear{Ackermann\protect\ackermannindex}{1940}]{acke%
rmann-consistency-of-arithmetic}
Wilhelm Ackermann\protect\ackermannindex, 1940.
\newblock {Zur Wider\-spruch\esi frei\-heit der Zahlen\-theorie}.
\newblock {\em {\MathematischeAnnalen}}, 117:163--194.
\newblock Received \Aug\,15, 1939.

\bibitem[\protect\citeauthoryear{Anon}{1887}]{philosophische-aufsaetze-zeller}
Anon, 1887.
\newblock {\em Philosophische Aufs\ae tze. \zellerindex\zellernameplain\ zu
  seinem f\ue nfzig\-j\ae hrigen Doctor-Jubil\ae um gewidmet}.
\newblock Verlag Fues, \Leipzig.
\newblock Faksimile-Reprint, Zentral-Antiquariat der Deutschen Demokratischen
  Republik, \Leipzig, 1962.

\bibitem[\protect\citeauthoryear{Anon}{1899}]{anon-1899}
Anon, 1899.
\newblock {\em {Festschrift zur Feier der Enth\ue llung des\/
  \gaussplain-\weberplain-Denkmals in \Goettingen, herau\esi gegeben von dem
  Fest-Comitee.}}
\newblock Verlag von B. G. Teubner, \Leipzig.

\bibitem[\protect\citeauthoryear{Anon}{1972}]{chelsea-monographies}
Anon, 1972.
\newblock {\em {Das Kontinuum und andere Monographien}}.
\newblock Chelsea, \NewYork.
\newblock Reprint of 4~monographies by \weylname\ (\cite{weyl-1918}),
  \landauname, and \riemannname.

\bibitem[\protect\citeauthoryear{Asser{\protectedasserindex}}{1957}]{asserepsi%
lon}
G{\"u}nter Asser{\protectedasserindex}, 1957.
\newblock {Theorie der logischen Au\esi wahl\-funk\-tionen}.
\newblock {\em \ZLGname}, 3:30--68.

\bibitem[\protect\citeauthoryear{Behmann}{1922}]{behmann}
Heinrich Behmann, 1922.
\newblock {Beitr\ae ge zur Algebra der Logik, in\esi besondere zum
  Entscheidung\esi problem}.
\newblock {\em {\MathematischeAnnalen}}, 86:163--229.
\newblock Received \Jul\,16, 1921. Corrected in \cite{behmann-correction}.

\bibitem[\protect\citeauthoryear{Behmann}{1923}]{behmann-correction}
Heinrich Behmann, 1923.
\newblock {Druckfehler\-berichtigung zu dem Aufsatz \cite{behmann}}.
\newblock {\em {\MathematischeAnnalen}}, 88:168.

\bibitem[\protect\citeauthoryear{Bell{\protectedbellindex}}{1993a}]{bellclassi%
calepsilon}
John~Lane Bell{\protectedbellindex}, 1993a.
\newblock {\hilbert's \math\varepsilon-Operator and Classical Logic}.
\newblock {\em \jphillogicname}, 22:1--18.

\bibitem[\protect\citeauthoryear{Bell{\protectedbellindex}}{1993b}]{bellintuit%
ionisticepsilon}
John~Lane Bell{\protectedbellindex}, 1993b.
\newblock {\hilbert's \math\varepsilon-Operator in Intuitionistic Type
  Theories}.
\newblock {\em \mathematicallogicquarterlyname}, 39:323--337.

\bibitem[\protect\citeauthoryear{Bell{\protectedbellindex} \bgroup\&al.\egroup
  }{2001}]{logicaloptions}
John~Lane Bell{\protectedbellindex}, David DeVidi, Graham Solomon, 2001.
\newblock {\em Logical Options: An Introduction to Classical and Alternative
  Logics}.
\newblock Broadview Press.

\bibitem[\protect\citeauthoryear{Benacerraf \bgroup\&\ \egroup
  Putnam}{1964}]{philosophy-of-mathematics-first}
Paul Benacerraf, Hilary Putnam (eds.), 1964.
\newblock {\em Philosophy of Mathematics --- Selected Readings}.
\newblock \PrenticeHall.
\newblock \nth 1\,\edn\ (\nth 2\,\rev\,\edn\ is
  \cite{philosophy-of-mathematics-second}).

\bibitem[\protect\citeauthoryear{Benacerraf \bgroup\&\ \egroup
  Putnam}{1983}]{philosophy-of-mathematics-second}
Paul Benacerraf, Hilary Putnam (eds.), 1983.
\newblock {\em Philosophy of Mathematics --- Selected Readings}.
\newblock \cambridgeunipress.
\newblock \nth 2\,\rev\,\edn\ (\nth 1\,\edn\ is
  \cite{philosophy-of-mathematics-first}).

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

\bibitem[\protect\citeauthoryear{Bernays{\protectedbernaysindex}}{1938}]{berna%
ys-questions-methodologiques-actuelles-german-manuscript}
Paul Bernays{\protectedbernaysindex}, 1938.
\newblock {\Ue ber die aktuelle Methodenfrage der \hilbert schen
  \germanbeweistheorie. Au\esi arbeitung de\es\ Vortrage\es\ an der
  Grundlagen\-konferenz \Zuerich, \Dez\,1938}.
\newblock Unpublished manuscript, \PPcount{18}, \ETHZofficialarchivereference,
  Hs\,973\,(\bernaysname):\,5 (\cfnlb\ \cite[\p\,4]{bernays-1986}),
  \englishETHZlong, \Zuerichlong; transcribed by the \bernays\ Project to the
  file {\tt Final-9-09/German/bg16.pdf}, \PPcount 9, in
  \url{http://www.phil.cmu.edu/projects/bernays/Latex/Bernays.zip}. \Cf\ also
  \cite{bernays-questions-methodologiques-actuelles}.

\bibitem[\protect\citeauthoryear{Bernays{\protectedbernaysindex}}{1941}]{berna%
ys-questions-methodologiques-actuelles}
Paul Bernays{\protectedbernaysindex}, 1941.
\newblock Sur les questions m\'ethodologiques actuelles de la th\'eorie
  hilbertienne de la d\'emonstration.
\newblock Obscure French translation of
  \cite{bernays-questions-methodologiques-actuelles-german-manuscript} with
  lots of changes apparently not approved by \bernays. \ In
  \cite[\PP{144}{152}, Discussion \PP{153}{161}]{gonseth-1941}.

\bibitem[\protect\citeauthoryear{Bernays{\protectedbernaysindex}}{1986}]{berna%
ys-1986}
Paul Bernays{\protectedbernaysindex}, 1986.
\newblock Manuscripts.
\newblock Handschriften und Autographen der ETH-Bibliothek\,66,
  Wissenschaft\esi historische Sammlung der ETH-Bibliothek, \englishETHZlong,
  \Zuerich\ (Switzerland).
\newblock \url{http://dx.doi.org/10.3929/ethz-a-000381167},
  \url{e-collection.library.ethz.ch/eserv/eth:22103/eth-22103-01.pdf}.

\bibitem[\protect\citeauthoryear{Bernays{\protectedbernaysindex} \bgroup\&\
  \egroup
  Hasen{\-}jaeger{\protectedhasenjaegerindex}}{1952(?)}]{bernays-Hs973:41}
Paul Bernays{\protectedbernaysindex}, Gisbert
  Hasen{\-}jaeger{\protectedhasenjaegerindex}, 1952(?).
\newblock A most interesting draft for \hilbert\ and \bernays'
  ``\grundlagendermathematik''.
\newblock Unpublished untitled typescript by \hasenjaeger\ with corrections
  from \bernays' hand, {\PPcount{34},} with page numbers 2--34 on the
  respective page headers; \ETHZofficialarchivereference, in
  Hs\,973\,(\bernaysname):\,41 (since \Jun\,22, 2021, in the new sub-folder
  Hs\,973:41.1). \ \englishETHZlong, \Zuerichlong. \ \Cfnlb\
  \cite[\p\,7]{bernays-1986} and
  \url{http://archivdatenbank-online.ethz.ch/hsa/#/content/cbe1f559fdbd4e33890%
9ebed6c2740e2} for the listing in the archive and \cite{swp-2017-01} for a
  discussion of the typescript. \ Scan of the typescript:
  \url{https://etheritage.ethz.ch/wp-content/uploads/2021/05/Hs_973_41_S_1-34.%
pdf}. \ Two carbon copies without the corrections from \bernays' hand (however,
  with most of these corrections executed with a typewriter), but with two
  extra pages containing the footnotes for the original typescript (which comes
  only with footnote marks, but without any footnote texts) were found in
  \Jan\,2018, by \beatebeckername\ (\nee\ \hasenjaeger) in her part of the
  legacy of \hasenjaegername, which she gave to the following archive by the
  end of the year~2018: \hasenjaegerlegacy.

\bibitem[\protect\citeauthoryear{Bibel \bgroup\&\ \egroup
  Schmitt}{1998}]{deduction}
Wolfgang Bibel, Peter~H. Schmitt (eds.), 1998.
\newblock {\em Automated Deduction --- A Basis for Applications}.
\newblock   \ \,No.\,8--10 in Applied Logic Series. \kluwer.
\newblock \Vol\,I: Foundations --- Calculi and Methods. \Vol\,II: Systems and
  Implementation Techniques. \Vol\,III: Applications.

\bibitem[\protect\citeauthoryear{Blass \bgroup\&\ \egroup
  Gurevich}{2000}]{logicofchoice}
Andreas Blass, Yuri Gurevich, 2000.
\newblock The logic of choice.
\newblock {\em {\jslname}}, 65:1264--1310.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1939}]{bou%
rbaki-set-theory-results-1st-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1939.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Fascicule de r\'esultats}}.
\newblock   \ \,No.\,846 in \hermannparisseries. \hermannparis.
\newblock \nth 1\,\edn, \PPcount{VIII\,+\,50}. Review is \cite{churchbourbaki}.
  \nth 2 \rev\,\extd\,\edn\ is \cite{bourbaki-set-theory-results-2nd-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1939\ff}]{%
bourbaki}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1939\ff.
\newblock {\em {\'El\'ements des math\'ematique} --- Livres\,1--9}.
\newblock \hermannparisseries. \hermannparis.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1951}]{bou%
rbaki-set-theory-results-2nd-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1951.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Fascicule de r\'esultats}}.
\newblock   \ \,No.\,846-1141 in \hermannparisseries. \hermannparis.
\newblock \nth 2\,\rev\,\extd\,\edn\,of
  \cite{bourbaki-set-theory-results-1st-edn}. \nth 3 \rev\,\extd\,\edn\ is
  \cite{bourbaki-set-theory-results-3rd-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1954}]{bou%
rbaki-set-theory-chapter-1-2-1st-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1954.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Chapitre\,I\,\&\,II}}.
\newblock   \ \,No.\,1212 in \hermannparisseries. \hermannparis.
\newblock \nth 1\,\edn. \nth 2\,\rev\,\edn\ is
  \cite{bourbaki-set-theory-chapter-1-2-2nd-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1956}]{bou%
rbaki-set-theory-chapter-3-1st-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1956.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Chapitre\,III}}.
\newblock   \ \,No.\,1243 in \hermannparisseries. \hermannparis.
\newblock \nth 1\,\edn,
  \PPcount{II\,+\,119\,+\,4\,(mode\,d'emploi)\,+\,23\,(errata\,{no.}\,6)}. \nth
  2\,\rev\,\extd\,\edn\ is \cite{bourbaki-set-theory-chapter-3-2nd-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1958a}]{bo%
urbaki-set-theory-chapter-4-1st-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1958a.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Chapitre\,IV}}.
\newblock   \ \,No.\,1258 in \hermannparisseries. \hermannparis.
\newblock \nth 1\,\edn. \nth 2\,\rev\,\extd\,\edn\ is
  \cite{bourbaki-set-theory-chapter-4-2nd-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1958b}]{bo%
urbaki-set-theory-results-3rd-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1958b.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Fascicule de r\'esultats}}.
\newblock   \ \,No.\,1141 in \hermannparisseries. \hermannparis.
\newblock \nth 3\,\rev\,\extd\,\edn\,of
  \cite{bourbaki-set-theory-results-2nd-edn}. \nth 4 \rev\,\extd\,\edn\ is
  \cite{bourbaki-set-theory-results-4th-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1960}]{bou%
rbaki-set-theory-chapter-1-2-2nd-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1960.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Chapitre\,I\,\&\,II}}.
\newblock   \ \,No.\,1212 in \hermannparisseries. \hermannparis.
\newblock \nth 2\,\rev\,\extd\,\edn\,of
  \cite{bourbaki-set-theory-chapter-1-2-1st-edn}. \nth 3\,\rev\,\edn\ is
  \cite{bourbaki-set-theory-chapter-1-2-3rd-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1964}]{bou%
rbaki-set-theory-results-4th-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1964.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Fascicule de r\'esultats}}.
\newblock   \ \,No.\,1141 in \hermannparisseries. \hermannparis.
\newblock \nth 4\,\rev\,\extd\,\edn\,of
  \cite{bourbaki-set-theory-results-3rd-edn}. \nth 5 \rev\,\extd\,\edn\ is
  \cite{bourbaki-set-theory-results-5th-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1966a}]{bo%
urbaki-set-theory-chapter-4-2nd-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1966a.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Chapitre\,IV}}.
\newblock   \ \,No.\,1258 in \hermannparisseries. \hermannparis.
\newblock \nth 2\,\rev\,\extd\,\edn\,of
  \cite{bourbaki-set-theory-chapter-4-1st-edn}. English translation in
  \cite{bourbaki-english}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1966b}]{bo%
urbaki-set-theory-chapter-1-2-3rd-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1966b.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Chapitres\,I\,\&\,II}}.
\newblock   \ \,No.\,1212 in \hermannparisseries. \hermannparis.
\newblock \nth 3\,\rev\,\edn\,of
  \cite{bourbaki-set-theory-chapter-1-2-2nd-edn},
  \PPcount{VI\,+\,143\,+\,7\,(errata\,{no.}\,13)}. English translation in
  \cite{bourbaki-english}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1967}]{bou%
rbaki-set-theory-chapter-3-2nd-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1967.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Chapitre\,III}}.
\newblock   \ \,No.\,1243 in \hermannparisseries. \hermannparis.
\newblock \nth 2\,\rev\,\extd\,\edn\,of
  \cite{bourbaki-set-theory-chapter-3-1st-edn},
  \PPcount{151\,+\,7\,(errata\,{no.}\,13)}. \nth 3\,\rev\,\edn\ results from
  executing these errata. English translation in \cite{bourbaki-english}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1968a}]{bo%
urbaki-english}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1968a.
\newblock {\em Elements of Mathematics --- Theory of Sets}.
\newblock \hermannparisseries. \hermannparis, jointly published with
  \mbox{AdiWes} International Series in Mathematics, \addisonwesley.
\newblock English translation of
  \makeaciteoffour{bourbaki-set-theory-chapter-1-2-3rd-edn}{bourbaki-set-theor%
y-chapter-3-2nd-edn}{bourbaki-set-theory-chapter-4-2nd-edn}{bourbaki-set-theor%
y-results-5th-edn}.

\bibitem[\protect\citeauthoryear{Bourbaki{\protectedbourbakiindex}}{1968b}]{bo%
urbaki-set-theory-results-5th-edn}
Nicola{\es} Bourbaki{\protectedbourbakiindex}, 1968b.
\newblock {\em {\'El\'ements des math\'ematique --- Livre\,1: Th\'eorie des
  ensembles. Fascicule de r\'esultats}}.
\newblock   \ \,No.\,1141 in \hermannparisseries. \hermannparis.
\newblock \nth 5\,\rev\,\extd\,\edn\,of
  \cite{bourbaki-set-theory-results-4th-edn}. English translation in
  \cite{bourbaki-english}.

\bibitem[\protect\citeauthoryear{Caferra \bgroup\&\ \egroup
  Salzer}{2000}]{ftpwien}
Ricardo Caferra, Gernot Salzer (eds.), 2000.
\newblock {\em Automated Deduction in Classical and Non-Classical Logics}.
\newblock   \ \,No.\,1761 in Lecture Notes in Artificial Intelligence.
  {\springerverlag}.

\bibitem[\protect\citeauthoryear{Church{\protectedchurchindex}}{1946}]{churchb%
ourbaki}
Alonzo Church{\protectedchurchindex}, 1946.
\newblock {Review of \cite{bourbaki-set-theory-results-1st-edn}}.
\newblock {\em \jslname}, 11:91.

\bibitem[\protect\citeauthoryear{Clocksin \bgroup\&\ \egroup
  Mellish}{2003}]{Prolog}
William~F. Clocksin, Christopher~S. Mellish, 2003.
\newblock {\em {Programming in \PROLOGplain}}.
\newblock {\springerverlag}.
\newblock \nth 5\,\edn\ (\nth 1\,\edn\,1981).

\bibitem[\protect\citeauthoryear{Cohn}{1965}]{cohn-1965}
Paul~Moritz Cohn, 1965.
\newblock {\em Universal Algebra}.
\newblock Harper \& Row, \NewYork.
\newblock \nth 1\,\edn. \nth 2\,\rev\,\edn\ is \cite{cohn-1981}.

\bibitem[\protect\citeauthoryear{Cohn}{1981}]{cohn-1981}
Paul~Moritz Cohn, 1981.
\newblock {\em Universal Algebra}.
\newblock   \ \,No.\,6 in Mathematics and Its Applications. \DReidelpublishing.
\newblock \nth 2\,\rev\,\edn\ (\nth 1\,\edn\ is \cite{cohn-1965}).

\bibitem[\protect\citeauthoryear{Curry{\protectedcurryindex}
  \bgroup\&al.\egroup }{1958}]{combinatory-logic-I}
Haskell~B. Curry{\protectedcurryindex}, Robert Feys, William Craig, 1958.
\newblock {\em Combinatory Logic}.
\newblock {\northholland}.
\newblock \Vol\,I (\Vol\,II is \cite{combinatory-logic-II}).

\bibitem[\protect\citeauthoryear{Curry{\protectedcurryindex}
  \bgroup\&al.\egroup }{1972}]{combinatory-logic-II}
Haskell~B. Curry{\protectedcurryindex}, J.~Roger Hindley, Jonathan~P. Seldin,
  1972.
\newblock {\em Combinatory Logic}.
\newblock {\northholland}.
\newblock \Vol\,II (\Vol\,I is \cite{combinatory-logic-I}).

\bibitem[\protect\citeauthoryear{Dedekind{\protect\dedekindindex}}{1890a}]{ded%
ekind-keferstein-german}
Richard Dedekind{\protect\dedekindindex}, 1890a.
\newblock {Brief an Herrn Oberlehrer \Dr\ {\kefersteinshortname} (Hamburg),
  27.\,\Feb\,1890}.
\newblock \dedekind\ Nachlass, Hand\-schriften\-ab\-teilung, Staat\es- und
  Uni\-ver\-si\-t\ae t\esi bibliothek, Georg August Universit\ae t \Goettingen,
  Cod.\,Ms.\ Nachlass Dedekind, 13. English translation is
  \cite{dedekind-keferstein-english}.

\bibitem[\protect\citeauthoryear{Dedekind{\protect\dedekindindex}}{1890b}]{ded%
ekind-keferstein-english}
Richard Dedekind{\protect\dedekindindex}, 1890b.
\newblock Letter to {\kefersteinshortname} {(\Hamburg), \Feb\,27, 1980}.
\newblock In \cite[\PP{98}{103}]{heijenoort-source-book}. English translation
  from the German original \cite{dedekind-keferstein-german} by \wangname\ and
  \bauermengelbergname.

\bibitem[\protect\citeauthoryear{DeVidi}{1995}]{vext}
David DeVidi, 1995.
\newblock Intuitionistic {\math\varepsilon}- and {\math\tau}-calculi.
\newblock {\em \mathematicallogicquarterlyname}, 41:523--546.

\bibitem[\protect\citeauthoryear{Diamond{\protectedwittgensteinindex}}{1976}]{%
wittgenstein-lectures-foundations-of-mathematics}
Cora Diamond{\protectedwittgensteinindex} (ed.), 1976.
\newblock {\em {\wittgenstein's Lectures on the Foundations of Mathematics,
  \Cambridge, 1939}}.
\newblock Cornell \Univ, Ithaca (NY).
\newblock From the notes of {\namefont R. G. Bosanquet}, {\namefont Norman
  Malcolm}, {\rheesname}, and {\namefont Yorick Smythies}. German translation
  is \cite{wittgenstein-lectures-diamond}.

\bibitem[\protect\citeauthoryear{Diamond{\protectedwittgensteinindex}}{1978}]{%
wittgenstein-lectures-diamond}
Cora Diamond{\protectedwittgensteinindex} (ed.), 1978.
\newblock {\em {\wittgenstein s Vorlesungen \ue ber die
  \grundlagendermathematik, \Cambridge, 1939}}.
\newblock {\suhrkampverlagfrankfurt}.
\newblock {German translation of
  \cite{wittgenstein-lectures-foundations-of-mathematics} by {\namefont Joachim
  Schulte}. \nth 1\,\edn\ as ``\wittgensteinname, Schriften\,7''
  (ISBN\,3518072471)\@. Note that this volume was excluded from the later
  Suhrkamp \edn\ ``\wittgensteinname, Werkau\esi gabe''.}

\bibitem[\protect\citeauthoryear{Egly \bgroup\&\ \egroup Ferm{\ue
  ller}}{2002}]{eleventhTABLEAUtwo}
Uwe Egly, {\mbox{Ch}}ristian~G. Ferm{\ue ller} (eds.), 2002.
\newblock {\em {\theeleventhTABLEAUtwo}},   \ no.\,2381 in Lecture Notes in
  Artificial Intelligence. {\springerverlag}.

\bibitem[\protect\citeauthoryear{Ewald}{1996}]{ewald-1996}
William Ewald (ed.), 1996.
\newblock {\em From {\kantindex\kantplain} to {\hilbertindex\hilbertplain} ---
  A source book in the foundations of mathematics}.
\newblock {\oxfordunipress}.

\bibitem[\protect\citeauthoryear{Fitting}{1975}]{fittingepsilon}
Melvin Fitting, 1975.
\newblock A modal logic {\math\varepsilon}-calculus.
\newblock {\em \notredamename}, XVI:1--16.

\bibitem[\protect\citeauthoryear{Fitting}{1990}]{Fitting90}
Melvin Fitting, 1990.
\newblock {\em First-order logic and automated theorem proving}.
\newblock {\springerverlag}.
\newblock \nth 1\,\edn\ (\nth 2\,\rev\,\edn\ is \cite{fitting}).

\bibitem[\protect\citeauthoryear{Fitting}{1996}]{fitting}
Melvin Fitting, 1996.
\newblock {\em First-order logic and automated theorem proving}.
\newblock {\springerverlag}.
\newblock \nth 2\,\rev\,\edn\ (\nth 1\,\edn\ is \cite{Fitting90}).

\bibitem[\protect\citeauthoryear{Fitting}{1999}]{fittingquantifiedmodal}
Melvin Fitting, 1999.
\newblock On quantified modal logic.
\newblock {\em \fundamentainformaticaename}, 39:105--121.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{1893/1903}]{frege-%
grundgesetze}
Gottlob Frege\protectedfregeindex, 1893/1903.
\newblock {\em {Grundgesetze der Arithmetik --- \Begriffsschrift lich
  abgeleitet}}.
\newblock Verlag von \hermann\ Pohle, \Jena.
\newblock \Vol\,I/II\@. Faksimile mit Corrigenda: \thielname, \olmsverlag,
  1998. English translations: \cite{frege-grundgesetze-furth},
  \cite{frege-grundgesetze-ebert}.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{1964}]{frege-grund%
gesetze-furth}
Gottlob Frege\protectedfregeindex, 1964.
\newblock {\em The Basic Laws of Arithmetic --- Exposition of the System}.
\newblock \Univ\ of California Press.
\newblock English translation of \cite[Vol\,I]{frege-grundgesetze}, with an
  introduction, by {\namefont Montgomery Furth}.

\bibitem[\protect\citeauthoryear{Frege\protectedfregeindex}{2013}]{frege-grund%
gesetze-ebert}
Gottlob Frege\protectedfregeindex, 2013.
\newblock {\em Basic Laws of Arithmetic}.
\newblock {\oxfordunipress}.
\newblock English translation of \cite{frege-grundgesetze} by {\namefont Philip
  Ebert} and {\namefont Marcus Rossberg}, with an Introduction by {\namefont
  Crispin Wright} and an appendix by {\namefont Roy T. Cook}.

\bibitem[\protect\citeauthoryear{Fried}{2012}]{fried-canossa}
Johanne{\es} Fried, 2012.
\newblock {\em Canossa -- Entlarvung einer Legende. Eine Streitschrift}.
\newblock \akademieverlag.

\bibitem[\protect\citeauthoryear{Gabbay{\protectedgabbayindex}}{1981}]{intuiti%
onisticsemantics}
Dov Gabbay{\protectedgabbayindex}, 1981.
\newblock {\em Semantical Investigations in {\heytingindex\heytingplain}'s
  Intuitionistic Logic}.
\newblock \kluwer.

\bibitem[\protect\citeauthoryear{Gabbay \bgroup\&\ \egroup
  Pitts}{2002}]{fac/GabbayP02}
Murdoch~J. Gabbay, Andrew~M. Pitts, 2002.
\newblock A new approach to abstract syntax with variable binding.
\newblock {\em Formal Asp. Comput.}, 13:341--363.

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

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

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

\bibitem[\protect\citeauthoryear{Giese \bgroup\&\ \egroup
  Ahrendt}{1999}]{ahrendtgiese}
Martin Giese, Wolfgang Ahrendt, 1999.
\newblock {\hilbert's \math\varepsilon}-terms in automated theorem proving.
\newblock \hilbertindex \hilbertsepsilonlongindex In
  \cite[\PP{171}{185}]{eighthTABLEAUninetynine}.

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

\bibitem[\protect\citeauthoryear{G{\oe
  de{\protectedgoedelindex}l}}{1931}]{goedel}
Kurt G{\oe de{\protectedgoedelindex}l}, 1931.
\newblock {\Ue ber formal unentscheidbare S\ae tze der \PM\ und verwandter
  Sy\esi teme I}.
\newblock {\em {\ \monatsheftempname}}, 38:173--198.
\newblock With {English} translation also in \cite[\Vol\,I,
  \PP{145}{195}]{goedelcollected}. {English} translation also in
  \cite[\PP{596}{616}]{heijenoort-source-book} and in \cite{goedel-meltzer}.

\bibitem[\protect\citeauthoryear{G{\oe
  de{\protectedgoedelindex}l}}{1962}]{goedel-meltzer}
Kurt G{\oe de{\protectedgoedelindex}l}, 1962.
\newblock {\em On Formally Undecidable Propositions of {\PM} and Related
  Systems}.
\newblock Basic Books, \NewYork.
\newblock English translation of \cite{goedel} by \meltzername. \ With an
  introduction by {\namefont R. B. Braithwaite}. \ \nth 2\,\edn\ by Dover
  Publications, 1992.

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

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

\bibitem[\protect\citeauthoryear{Gonseth}{1941}]{gonseth-1941}
Ferdinand Gonseth (ed.), 1941.
\newblock {\em Les entretiens de {Z}urich sur les fondements et la m\'ethode
  des sciences math\'e\-matiques, 6--9 d\'ecembre 1938. Expos\'es et
  discussions}. S.\,A.\,Leemann Fr\`eres {\&} Cie., \Zuerich.
\newblock \PPcountnodot{209}.

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

\bibitem[\protect\citeauthoryear{Heijenoort{\protectedheijenoortindex}}{1982}]%
{heijenoort-oeuvre-herbrand}
Jean~van Heijenoort{\protectedheijenoortindex}, 1982.
\newblock {L'\oefranz uvre} logique de {\herbrand} et son contexte historique.
\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}, 1986a.
\newblock {\herbrand's} work in logic and its historical context.
\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}, 1986b.
\newblock {\em Selected Essays}.
\newblock Bibliopolis, Napoli, copyright 1985. Also published by Librairie
  Philosophique J. Vrin, \Paris, 1986.

\bibitem[\protect\citeauthoryear{Helmholtz}{1879}]{helmholtz-tatsachen-in-der-%
wahrnehmung}
Hermann~von Helmholtz, 1879.
\newblock {\em {Die Thatsachen in der Wahrnehmung}}.
\newblock Verlag von August Hirschwald, \Berlin.
\newblock Rede, gehalten zur Stiftung\esi feier der
  Friedrich-Wilhelm\es-Universit\ae t zu \Berlin\ am 3.\,August, 1978; mit 3
  Beilagen. \ Also in \cite[\PP{8}{74}]{helmholtz-reprint}.

\bibitem[\protect\citeauthoryear{Helmholtz}{1887}]{helmholtz-zaehlen}
Hermann~von Helmholtz, 1887.
\newblock {Z\ae hlen und Messen --- erkenntni\esi theore\-tisch
  be\-trach\-tet}.
\newblock In \cite[\PP{15}{52}]{philosophische-aufsaetze-zeller}. \ Mit
  Kommentar von \hertzdreiphysicistname\ also in
  \cite[\litchapref{III}]{helmholtz-erkenntnistheorie}. \ Also in
  \cite[\PP{75}{112}]{helmholtz-reprint}.

\bibitem[\protect\citeauthoryear{Helmholtz}{1921}]{helmholtz-erkenntnistheorie}
Hermann~von Helmholtz, 1921.
\newblock {\em {Schriften zur Erkenntni\esi theorie}}.
\newblock {\springerverlag}.
\newblock \Ed\ by {\namefont Moritz Schlick} und \hertzdreiphysicistname.

\bibitem[\protect\citeauthoryear{Helmholtz}{1959}]{helmholtz-reprint}
Hermann~von Helmholtz, 1959.
\newblock {\em {Die Tatsachen in der Wahrnehmung, Z\ae hlen und Messen
  erkenntni\esi theore\-tisch betrachtet}}.
\newblock \wissenschaftlichebuchgesellschaftdarmstadt.
\newblock Faksimile-Reprint von \cite{helmholtz-tatsachen-in-der-wahrnehmung}
  und \cite{helmholtz-zaehlen}, aber mit neuen Seitennummern und neuen
  Titelseiten.

\bibitem[\protect\citeauthoryear{Herbran{\protectedherbrandindex}d}{1968}]{her%
brand-ecrits-logiques}
Jacques Herbran{\protectedherbrandindex}d, 1968.
\newblock {\em {\'E}crits logiques}.
\newblock Presses Universitaires de France, Paris.
\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, 1971.
\newblock {\em Logical Writings}.
\newblock {\harvardunipress}.
\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{Hermes{\protectedhermesindex}}{1965}]{hermese%
psilon}
Hans Hermes{\protectedhermesindex}, 1965.
\newblock {\em {Eine Termlogik mit Au\esi wahl\-opera\-tor}}.
\newblock   \ \,No.\,6 in LNM. {\springerverlag}.

\bibitem[\protect\citeauthoryear{Heusinger}{1997}]{heusingerepsilon}
Klaus~von Heusinger, 1997.
\newblock {\em {Salienz und Referenz --- Der Epsilonoperator in der Semantik
  der Nominalphrase und anaphorischer Pronomen}}.
\newblock   \ \,No.\,43 in Studia gram\-ma\-tica. \akademieverlag.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1898/99a}]{s%
chaper-1898/99}
David Hilbe{\protectedhilbertindex}rt, 1898/99a.
\newblock {Elemente der \euklid ischen Geometrie}.
\newblock {Notes of \cite{hilbert-1898/99} by \schapername,
  \PPcount{175\,\,bound + 2\,\,loose}, \hilbert\ Nachlass,
  \handschrifenabteilungSUBGoettingen, Cod.\,Ms.\,D.\,Hilbert\,552. Also in
  \hilbert\ Nachlass, \handschriftenabteilungMIGoettingen. With an introduction
  by \hallettname\ and together with \cite{hilbert-1898/99} also in
  \cite[\PP{185}{407}]{hilbert-2004}}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1898/99b}]{h%
ilbert-1898/99}
David Hilbe{\protectedhilbertindex}rt, 1898/99b.
\newblock {Grundlagen der \euklid ischen Geometrie}.
\newblock {Lectures winter term 1898/99, \Goettingen, announced as ``Elemente
  der \euklid ischen Geometrie, 2st.\closequotecomma notes by \hilbert,
  \PPcount{116\,\,bound}. \hilbert\ Nachlass,
  \handschrifenabteilungSUBGoettingen, Cod.\,Ms.\,D.\,Hilbert\,551. With an
  introduction by \hallettname\ and together with \cite{schaper-1898/99} also
  in \cite[\PP{185}{407}]{hilbert-2004}}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1899}]{grund%
lagen-der-geometrie}
David Hilbe{\protectedhilbertindex}rt, 1899.
\newblock {\grundlagendergeometrie}.
\newblock In \cite[\PP{1}{92}]{anon-1899}. \nth 1\,\edn\ without \appendixes.
  Reprinted in \cite[\PP{436}{525}]{hilbert-2004}\bibcrit{Last edition of
  ``\grundlagendergeometrie'' by \hilbert\ is
  \cite{grundlagen-der-geometrie-siebte}, which is also most complete regarding
  the appendixes. Last three editions by\/ \bernaysname\ are
  \makeaciteofthree{grundlagen-der-geometrie-neunte}{grundlagen-der-geometrie-%
zehnte}{grundlagen-der-geometrie-elfte}, which are also most complete regarding
  supplements and figures. Its first appearance as a separate book was the
  French translation \cite{principes-fondamentaux-de-la-geometrie}. Two
  substantially different {English} translations are
  \cite{foundations-of-geometry} and \cite{foundations-of-geometry-second}}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1900a}]{hilb%
ert-zahlbegriff}
David Hilbe{\protectedhilbertindex}rt, 1900a.
\newblock {\Ue ber den Zahlbegriff}.
\newblock {\em \dmvjahresberichtname}, 8:180--184.
\newblock Received \Dec\,1899. Reprinted as {Appendix\,VI} of
  \makeaciteoffive{grundlagen-der-geometrie-dritte}{grundlagen-der-geometrie-v%
ierte}{grundlagen-der-geometrie-fuenfte}{grundlagen-der-geometrie-sechste}{gru%
ndlagen-der-geometrie-siebte}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1900b}]{prin%
cipes-fondamentaux-de-la-geometrie}
David Hilbe{\protectedhilbertindex}rt, 1900b.
\newblock {\ Les} principes fondamentaux de la g{\'e}om{\'e}trie.
\newblock {\em {\ Annales} scientifiques de l'\EcoleNormaleSuperieure},
  S\'erie\,3,\,17:103--209.
\newblock {\ French} translation by {\namefont L\'eonce Laugel} of a special
  version of \cite{grundlagen-der-geometrie}, revised and authorized by
  \hilbert. \ Also published as a separate book by the same publisher
  (\gauthiervillars).

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1900c}]{hilb%
ert-1900}
David Hilbe{\protectedhilbertindex}rt, 1900c.
\newblock {Mathematische Probleme --- Vortrag, gehalten auf dem internationalen
  Mathematiker-Kongress zu \Paris\ 1900}.
\newblock {\em Nachrichten von der K\oe niglichen Gesellschaft der
  Wissenschaften zu \Goettingen, mathematisch--physikalische Klasse},
  pages\,253--297.
\newblock Also in {\em Archiv der Mathematik und Physik}, \nth 3 series,
  1:44--63+213--237, 1901. English version is \cite{hilbert-23-problems}. Part
  of the essay is also translated in \cite[\PP{1096}{1105}]{ewald-1996}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1902a}]{foun%
dations-of-geometry}
David Hilbe{\protectedhilbertindex}rt, 1902a.
\newblock {\em The Foundations of Geometry}.
\newblock Open Court, \Chicago.
\newblock {English} translation by {\namefont E. J. Townsend} of special
  version of \cite{grundlagen-der-geometrie}, revised and authorized by
  \hilbert, \url{http://www.gutenberg.org/etext/17384}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1902b}]{hilb%
ert-23-problems}
David Hilbe{\protectedhilbertindex}rt, 1902b.
\newblock Mathematical problems.
\newblock {\em Bulletin of the AMS}, 8:437--479.
\newblock English translation of \cite{hilbert-1900} by {\sc Mary Winston
  Newson}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1903}]{grund%
lagen-der-geometrie-zweite}
David Hilbe{\protectedhilbertindex}rt, 1903.
\newblock {\em {\grundlagendergeometrie. --- Zweite, durch Zus\ae tze vermehrte
  und mit f\ue nf Anh\ae ngen versehene Au\fli age. Mit zahlreichen in den Text
  gedruckten Figuren}}.
\newblock Druck und Verlag von B. G. Teubner, \Leipzig.
\newblock {\nth 2}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  \rev\ and \extd\ with five \appendixes, newly added figures, and an index of
  notion names.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1904a}]{hilb%
ert-1904-summer-lecture}
David Hilbe{\protectedhilbertindex}rt, 1904a.
\newblock {Zahlbegriff und Quadratur des Kreises}.
\newblock {Lectures summer term 1904, \Goettingen, announced as ``Zahlbegriff
  und Quadratur de\es\ Kreise\es, 2st.\closequotefullstop
  \cite{born-1904-summer-lecture} is the only available set of notes}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1904b}]{born%
-1904-summer-lecture}
David Hilbe{\protectedhilbertindex}rt, 1904b.
\newblock {Zahlbegriff und Quadratur des Kreises}.
\newblock {Notes of \cite{hilbert-1904-summer-lecture} by \bornname. \hilbert\
  Nachlass, \handschriftenabteilungMIGoettingen}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1905a}]{hilb%
ert-grundlagen-logik}
David Hilbe{\protectedhilbertindex}rt, 1905a.
\newblock {\Ue ber die Grundlagen der Logik und der Arithmetik}.
\newblock In \cite[\PP{174}{185}]{dritter-mathematiker}. \ Reprinted as
  {Appendix\,VII} of
  \makeaciteoffive{grundlagen-der-geometrie-dritte}{grundlagen-der-geometrie-v%
ierte}{grundlagen-der-geometrie-fuenfte}{grundlagen-der-geometrie-sechste}{gru%
ndlagen-der-geometrie-siebte}. \ {English} translation {\em On the foundations
  of logic and arithmetic} by {\namefont Beverly Woodward} with an introduction
  by \heijenoortname\ in \cite[\PP{129}{138}]{heijenoort-source-book}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1905b}]{hilb%
ert-1905-summer-lecture}
David Hilbe{\protectedhilbertindex}rt, 1905b.
\newblock {Logische Prinzipien de\es\ mathematischen Denken\es\mycomment b}.
\newblock {Lectures summer term 1905, \Goettingen, announced as ``Logische
  Prinzipien de\es\ mathematischen Denken\es, 2st.\closequotefullstop
  \cite{born-1905-summer-lecture} and \cite{hellinger-1905-summer-lecture} are
  the only available sets of notes}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1905c}]{born%
-1905-summer-lecture}
David Hilbe{\protectedhilbertindex}rt, 1905c.
\newblock {Logische Prinzipien de\es\ mathematischen Denken\es\mycomment c}.
\newblock {Notes of \cite{hilbert-1905-summer-lecture} by \bornname,
  \PPcount{188\,\,bound} \ \hilbert\ Nachlass,
  \handschrifenabteilungSUBGoettingen, Cod.\,Ms.\,D.\,Hilbert\,558a}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1905d}]{hell%
inger-1905-summer-lecture}
David Hilbe{\protectedhilbertindex}rt, 1905d.
\newblock {Logische Prinzipien de\es\ mathematischen Denken\es\mycomment d}.
\newblock {Notes of \cite{hilbert-1905-summer-lecture} by \hellingername.
  \hilbert\ Nachlass, \handschriftenabteilungMIGoettingen}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1909}]{grund%
lagen-der-geometrie-dritte}
David Hilbe{\protectedhilbertindex}rt, 1909.
\newblock {\em {\ \grundlagendergeometrie. --- Dritte, durch Zus\ae tze und
  Literaturhinweise von neuem vermehrte und mit sieben Anh\ae ngen versehene
  Au\fli age. Mit zahlreichen in den Text gedruckten Figuren.}}
\newblock   \ \,No.\,VII in {\glqqtight Wissenschaft und
  Hypothese\grqqtightforbib}. \ \ Druck und Verlag von B. G. Teubner, \Leipzig,
  \Berlin.
\newblock \ {\nth 3}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  \rev\,\edn\,of \cite{grundlagen-der-geometrie-zweite}, \extd\ with a
  bibliography and two additional \appendixes\ (now seven in total)
  (Appendix\,VI: \cite{hilbert-zahlbegriff}) (Appendix\,VII:
  \cite{hilbert-grundlagen-logik}).

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1913}]{grund%
lagen-der-geometrie-vierte}
David Hilbe{\protectedhilbertindex}rt, 1913.
\newblock {\em {\grundlagendergeometrie. --- Vierte, durch Zus\ae tze und
  Literaturhinweise von neuem vermehrte und mit sieben Anh\ae ngen versehene
  Au\fli age. Mit zahlreichen in den Text gedruckten Figuren.}}
\newblock Druck und Verlag von B. G. Teubner, \Leipzig, \Berlin.
\newblock {\nth 4}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  \rev\,\edn\,of \cite{grundlagen-der-geometrie-dritte}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1917a}]{hilb%
ert-1917-summer-lecture}
David Hilbe{\protectedhilbertindex}rt, 1917a.
\newblock {Mengenlehre}.
\newblock {Lectures summer term 1917, \Goettingen, announced as ``Mengenlehre,
  4st.\closequotefullstop \cite{goeb-1917-summer-lecture} is the only available
  set of notes}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1917b}]{goeb%
-1917-summer-lecture}
David Hilbe{\protectedhilbertindex}rt, 1917b.
\newblock {Mengenlehre}.
\newblock {Notes of \cite{hilbert-1917-summer-lecture} by \goebname. \hilbert\
  Nachlass, \handschriftenabteilungMIGoettingen}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1921/22}]{hi%
lbert-1921/22}
David Hilbe{\protectedhilbertindex}rt, 1921/22.
\newblock {\grundlagendermathematik}.
\newblock {Lectures winter term 1921/22, \Goettingen, announced as
  ``Grundlegung der Mathematik, 4st.\closequotecomma notes by \bernaysname.
  (\Cfnlb\ also \cite{kneser-1921/22}.) \hilbert\ Nachlass,
  \handschriftenabteilungMIGoettingen}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1922}]{grund%
lagen-der-geometrie-fuenfte}
David Hilbe{\protectedhilbertindex}rt, 1922.
\newblock {\em {\grundlagendergeometrie. --- F\ue nfte, durch Zus\ae tze und
  Literatur\-hinweise von neuem vermehrte und mit sieben Anh\ae ngen versehene
  Au\fli age. Mit zahl\-reichen in den Text gedruckten Figuren}}.
\newblock Verlag und Druck von B. G. Teubner, \Leipzig, \Berlin.
\newblock {\nth 5}\,\extd\,\edn\,of \cite{grundlagen-der-geometrie}. \ Contrary
  to what the sub-title may suggest, this is an anastatic reprint of
  \cite{grundlagen-der-geometrie-vierte}, extended by a very short preface on
  the changes \wrt\ \cite{grundlagen-der-geometrie-vierte}, and with
  augmentations to Appendix\,II, Appendix\,III, and \litchapref{IV},
  \litsectref{21}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1922/23}]{hi%
lbert-1922/23}
David Hilbe{\protectedhilbertindex}rt, 1922/23.
\newblock {Logische \grundlagendermathematik}.
\newblock {Lectures winter term 1922/23, \Goettingen, announced as ``Grundlagen
  der Arithmetik, 2st.\closequotecomma fragmentary set of notes by \bernays,
  \PPcount{33}. (\Cfnlb\ also \cite{kneser-1922/23}.) \hilbert\ Nachlass,
  \handschrifenabteilungSUBGoettingen, Cod.\,Ms.\,D.\,Hilbert\,567}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1923a}]{logi%
schegrundlagen}
David Hilbe{\protectedhilbertindex}rt, 1923a.
\newblock {Die logischen Grund\-lagen der Mathematik}.
\newblock {\em {\MathematischeAnnalen}}, 88:151--165.
\newblock Received \Sep\,29, 1922. Talk given at the Deutsche
  Natur\-forscher\-gesellschaft in \Leipzig, \Sep\,1922. {English} translation
  in \cite[\PP{1134}{1148}]{ewald-1996}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1923b}]{grun%
dlagen-der-geometrie-sechste}
David Hilbe{\protectedhilbertindex}rt, 1923b.
\newblock {\em {\grundlagendergeometrie. --- Sechste unver\ae nderte Au\fli
  age. Anastati\-scher Nachdruck. Mit zahlreichen in den Text gedruckten
  Figuren}}.
\newblock Verlag und Druck von B. G. Teubner, \Leipzig, \Berlin.
\newblock {\nth 6}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  anastatic reprint of \cite{grundlagen-der-geometrie-fuenfte}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1926}]{unend%
liche}
David Hilbe{\protectedhilbertindex}rt, 1926.
\newblock {\Ue ber da\es\ Unendliche --- Vortrag, gehalten am 4.\,Juni\,1925
  gelegentlich einer zur Ehrung de\es\ Andenken\es\ an \weierstrass\ von der
  West\-f\ae lischen \Math\ \Ges\ veranstalteten Mathematiker-Zusammenkunft in
  M\ue nster i. W.}
\newblock {\em {\MathematischeAnnalen}}, 95:161--190.
\newblock Received \Jun\,24, 1925. \ Reprinted as Appendix\,VIII of
  \cite{grundlagen-der-geometrie-siebte}. \ {E}nglish translation {\em On the
  infinite} by \bauermengelbergname\ with an introduction by \heijenoortname\
  in \cite[\PP{367}{392}]{heijenoort-source-book}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1928}]{grund%
lagenvortrag}
David Hilbe{\protectedhilbertindex}rt, 1928.
\newblock {Die \grundlagendermathematik\ --- Vortrag, gehalten auf Einladung
  des Mathematischen Seminars im Juli 1927 in \Hamburg}.
\newblock {\em {\AbhandlungenmathHamburgname}}, 6:65--85.
\newblock Reprinted as Appendix\,IX of \cite{grundlagen-der-geometrie-siebte}.
  \ {E}nglish translation {\em The foundations of mathematics}\/ by
  \bauermengelbergname\protect\ and \foellesdalname\ with a short introduction
  by \heijenoortname\ in \cite[\PP{464}{479}]{heijenoort-source-book}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1930a}]{prob%
leme-grundlegung}
David Hilbe{\protectedhilbertindex}rt, 1930a.
\newblock {Probleme der Grundlegung der Mathematik --- Vortrag, gehalten auf
  dem Internationalen Mathematiker-Kongre\sz\ in \Bologna\ am 3.~\Sep~1928}.
\newblock {\em {\MathematischeAnnalen}}, 102:1--9.
\newblock Received March\,25, 1929. \ Reprinted as Appendix\,X of
  \cite{grundlagen-der-geometrie-siebte}. \ Short version in {\em Atti del
  congresso internationale dei matematici, \Bologna, 3--10 settembre 1928},
  \Vol\,1, \PP{135}{141}, Bologna, 1929.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1930b}]{grun%
dlagen-der-geometrie-siebte}
David Hilbe{\protectedhilbertindex}rt, 1930b.
\newblock {\em {\grundlagendergeometrie. --- Siebente umgearbeitete und
  vermehrte Au\fli age. Mit 100 in den Text gedruckten Figuren}}.
\newblock Verlag und Druck von B. G. Teubner, \Leipzig, \Berlin.
\newblock {\nth 7}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  thoroughly revised edition of \cite{grundlagen-der-geometrie-sechste}, \extd\
  with three new \appendixes\ (now ten in total) (Appendix\,VIII:
  \cite{unendliche}) (Appendix\,IX: \cite{grundlagenvortrag}) (Appendix\,X:
  \cite{probleme-grundlegung}).

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1956}]{grund%
lagen-der-geometrie-achte}
David Hilbe{\protectedhilbertindex}rt, 1956.
\newblock {\em {\grundlagendergeometrie. --- Achte Au\fli age, mit Revisionen
  und Erg\ae nzungen von \Dr\ \bernaysname. Mit 124 Abbildungen}}.
\newblock B. G. Teubner Verlag\esi gesellschaft, \Stuttgart.
\newblock {\nth 8}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  \rev\,\edn\,of \cite{grundlagen-der-geometrie-siebte}, omitting \appendixes\
  VI--X, \extd\ by \bernaysname, now with 24 additional figures and 3
  additional supplements.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1962}]{grund%
lagen-der-geometrie-neunte}
David Hilbe{\protectedhilbertindex}rt, 1962.
\newblock {\em {\grundlagendergeometrie. --- Neunte Au\fli age, revidiert und
  erg\ae nzt von \Dr\ \bernaysname. Mit 129 Abbildungen}}.
\newblock B. G. Teubner Verlag\esi gesellschaft, \Stuttgart.
\newblock {\nth 9}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  \rev\,\edn\,of \cite{grundlagen-der-geometrie-achte}, \extd\ by \bernaysname,
  now with 129\,figures, 5\,\appendixes, and 8\,supplements (I\,1, I\,2, II,
  III, IV\,1, IV\,2, V\,1, V\,2).

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1968}]{grund%
lagen-der-geometrie-zehnte}
David Hilbe{\protectedhilbertindex}rt, 1968.
\newblock {\em {\grundlagendergeometrie. --- Zehnte Au\fli age, revidiert und
  erg\ae nzt von \Dr\ \bernaysname. Mit 124 Abbildungen}}.
\newblock B. G. Teubner Verlag\esi gesellschaft, \Stuttgart.
\newblock {\nth{10}}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  \rev\,\edn\,of \cite{grundlagen-der-geometrie-neunte} by \bernaysname.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1971}]{found%
ations-of-geometry-second}
David Hilbe{\protectedhilbertindex}rt, 1971.
\newblock {\em The Foundations of Geometry}.
\newblock Open Court, \Chicago\ and La Salle (IL).
\newblock Newly translated and fundamentally different \nth 2\,\edn\,of
  \cite{foundations-of-geometry}, actually an English translation of
  \cite{grundlagen-der-geometrie-zehnte} by {\namefont Leo Unger}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{1972}]{grund%
lagen-der-geometrie-elfte}
David Hilbe{\protectedhilbertindex}rt, 1972.
\newblock {\em {\grundlagendergeometrie. --- 11.\,Au\fli age. Mit Supplementen
  von \Dr\ \bernaysname}}.
\newblock B. G. Teubner Verlag\esi gesellschaft, \Stuttgart.
\newblock {\nth{11}}\,\rev\,\extd\,\edn\,of \cite{grundlagen-der-geometrie},
  \rev\,\edn\,of \cite{grundlagen-der-geometrie-zehnte} by \bernaysname.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt}{2004}]{hilbe%
rt-2004}
David Hilbe{\protectedhilbertindex}rt, 2004.
\newblock {\em {\hilbertname}'s Lectures on the Foundations of Geometry,
  1891--1902}.
\newblock {\springerverlag}.
\newblock \Ed\ by \hallettname\ and \majername.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup Ackermann\protect\ackermannindex}{1928}]{grundzuege}
David Hilbe{\protectedhilbertindex}rt, Wilhelm
  Ackermann\protect\ackermannindex, 1928.
\newblock {\em {\grundzuegetitle}}.
\newblock   \ \,No.\,XXVII in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\springerverlag}.
\newblock \nth 1\,\edn, the final version in a serious of three thorough
  revisions is \cite{grundzuege-vierte}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup Ackermann\protect\ackermannindex}{1938}]{grundzuege-zweite}
David Hilbe{\protectedhilbertindex}rt, Wilhelm
  Ackermann\protect\ackermannindex, 1938.
\newblock {\em {\ Grund\-z\ue ge der theoretischen Logik}}.
\newblock   \ \,No.\,XXVII in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\ \springerverlag}.
\newblock \ \nth 2\,\edn, most thoroughly revised edition of \cite{grundzuege}.
  {English} translation is \cite{grundzuege-zweite-english}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup Ackermann\protect\ackermannindex}{1949}]{grundzuege-dritte}
David Hilbe{\protectedhilbertindex}rt, Wilhelm
  Ackermann\protect\ackermannindex, 1949.
\newblock {\em {\ Grund\-z\ue ge der theoretischen Logik}}.
\newblock   \ \,No.\,27 in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\ \springerverlag}.
\newblock \ \nth 3\,\edn\ of \cite{grundzuege}, thoroughly revised edition of
  \cite{grundzuege-zweite}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup Ackermann\protect\ackermannindex}{1950}]{grundzuege-zweite-english}
David Hilbe{\protectedhilbertindex}rt, Wilhelm
  Ackermann\protect\ackermannindex, 1950.
\newblock {\em {Principles of Mathematical Logic}}.
\newblock Chelsea, \NewYork.
\newblock English translation of \cite{grundzuege-zweite} by {\sc Lewis M.
  Hammond}, {\sc George G. Leckie}, and {\sc F. Steinhardt}, \ed\ and annotated
  by {\sc Robert E. Luce}. Reprinted by \AMSname\ 1999.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup Ackermann\protect\ackermannindex}{1959}]{grundzuege-vierte}
David Hilbe{\protectedhilbertindex}rt, Wilhelm
  Ackermann\protect\ackermannindex, 1959.
\newblock {\em {\ Grund\-z\ue ge der theoretischen Logik}}.
\newblock   \ \,No.\,27 in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\ \springerverlag}.
\newblock \ \nth 4\,\edn\ of \cite{grundzuege}, most thoroughly revised and
  \extd\ edition of \cite{grundzuege-dritte}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays{\protectedbernaysindex}}{1934}]{grundlagen-first-edition-volume-one}
David Hilbe{\protectedhilbertindex}rt, Paul Bernays{\protectedbernaysindex},
  1934.
\newblock {\em {\ \grundlagendermathematik\ --- \mbox{Erster} Band}}.
\newblock   \ \,No.\,XL in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\ \ \springerverlag}.
\newblock \ \nth 1\,\edn\ (\nth 2\,\edn:
  \cite{grundlagen-second-edition-volume-one}). \ Reprint: J.\,W.\,Edwards
  \Publ, Ann Arbor (MI), 1944. \ Englische \Ue ber\-setzung:
  \makeaciteofthree{grundlagen-german-english-edition-volume-one-one}{grundlag%
en-german-english-edition-volume-one-two}{grundlagen-german-english-edition-vo%
lume-one-three}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays{\protectedbernaysindex}}{1939}]{grundlagen-first-edition-volume-two}
David Hilbe{\protectedhilbertindex}rt, Paul Bernays{\protectedbernaysindex},
  1939.
\newblock {\em {\ \grundlagendermathematik\ --- \mbox{Zweiter} Band}}.
\newblock   \ \,No.\,L in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\ \ \springerverlag}.
\newblock \nth 1\,\edn\ (\nth 2\,\edn:
  \cite{grundlagen-second-edition-volume-two}). \ Reprint: J.\,W.\,Edwards
  \Publ, Ann Arbor (MI), 1944.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays{\protectedbernaysindex}}{1968}]{grundlagen-second-edition-volume-one}
David Hilbe{\protectedhilbertindex}rt, Paul Bernays{\protectedbernaysindex},
  1968.
\newblock {\em {\ \grundlagendermathematik~I}}.
\newblock   \ \,No.\,40 in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\ \ \springerverlag}.
\newblock \ \ \nth 2\,\rev\,\edn\ (\nth 1\,\edn:
  \cite{grundlagen-first-edition-volume-one}). \ \ Englische \Ue bersetzung:
  \makeaciteofthree{grundlagen-german-english-edition-volume-one-one}{grundlag%
en-german-english-edition-volume-one-two}{grundlagen-german-english-edition-vo%
lume-one-three}.

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays{\protectedbernaysindex}}{1970}]{grundlagen-second-edition-volume-two}
David Hilbe{\protectedhilbertindex}rt, Paul Bernays{\protectedbernaysindex},
  1970.
\newblock {\em {\ \grundlagendermathematik~II}}.
\newblock   \ \,No.\,50 in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\ \ \springerverlag}.
\newblock \ \ \nth 2\,\rev\,\extd\,\edn\ (\nth 1\,\edn:
  \cite{grundlagen-first-edition-volume-two}).

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays{\protectedbernaysindex}}{2017a}]{grundlagen-german-english-edition-v%
olume-one-one}
David Hilbe{\protectedhilbertindex}rt, Paul Bernays{\protectedbernaysindex},
  2017a.
\newblock {\em {\ \grundlagendermathematik~I --- Foundations of Mathematics~I,
  Part\,A: \whatisinVolIPartA}}.
\newblock {\ Web only: \url{http://wirth.bplaced.net/p/hilbertbernays}}.
\newblock \ 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}. \ \Ed\ by \wirthname,
  \siekmannname, \peckhausname, \michaelgabbayname, \gabbayname. \ Translated
  and commented by \wirthname\ \etalabbrev\ \ Thoroughly \rev\ \nth 3\,\edn\
  (\nth 1\,\edn\ \collegepublications, 2011; \nth 2\,\edn\
  \url{http://wirth.bplaced.net/p/hilbertbernays}, 2013).

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays{\protectedbernaysindex}}{2017b}]{grundlagen-german-english-edition-v%
olume-one-two}
David Hilbe{\protectedhilbertindex}rt, Paul Bernays{\protectedbernaysindex},
  2017b.
\newblock {\em {\grundlagendermathematik~I --- Foundations of Mathematics~I,
  Part\,B: \whatisinVolIPartB}}.
\newblock {\ Web only: \url{http://wirth.bplaced.net/p/hilbertbernays}}.
\newblock \ 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}. \ \Ed\ by \wirthname,
  \siekmannname, \peckhausname, \michaelgabbayname, \gabbayname. \ Translated
  and commented by \wirthname\ \etalabbrev\ \ Thoroughly \rev\ \nth 3\,\edn\
  (\nth 1\,\edn\ \collegepublications, 2012; \nth 2\,\edn\
  \url{http://wirth.bplaced.net/p/hilbertbernays}, 2013).

\bibitem[\protect\citeauthoryear{Hilbe{\protectedhilbertindex}rt \bgroup\&\
  \egroup
  Bernays{\protectedbernaysindex}}{2017c}]{grundlagen-german-english-edition-v%
olume-one-three}
David Hilbe{\protectedhilbertindex}rt, Paul Bernays{\protectedbernaysindex},
  2017c.
\newblock {\em {\ \grundlagendermathematik~I --- Foundations of Mathematics~I,
  Part\,C: \whatisinVolIPartC}}.
\newblock {\ \ Web only:\,\url{http://wirth.bplaced.net/p/hilbertbernays}}.
\newblock 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}. \ \ \Ed\ by \wirthname,
  \siekmannname, \peckhausname, \michaelgabbayname, \gabbayname. \ \ Translated
  and commented by \wirthname.

\bibitem[\protect\citeauthoryear{Hintikka{\protectedhintikkaindex}}{1974}]{hin%
tikkaquantification}
K.~Jaakko~J. Hintikka{\protectedhintikkaindex}, 1974.
\newblock Quantifiers {\vs} quantification theory.
\newblock {\em \linguisticinquiryname}, V(2):153--177.

\bibitem[\protect\citeauthoryear{Hintikka{\protectedhintikkaindex}}{1996}]{hin%
tikkaprinciples}
K.~Jaakko~J. Hintikka{\protectedhintikkaindex}, 1996.
\newblock {\em The Principles of Mathematics Revisited}.
\newblock {\cambridgeunipress}.

\bibitem[\protect\citeauthoryear{Howard{\protectedhowardindex} \bgroup\&\
  \egroup Rubin{\protectedrubinsheindex}}{1998}]{weakaxiomofchoice}
Paul Howard{\protectedhowardindex}, Jean~E. Rubin{\protectedrubinsheindex},
  1998.
\newblock {\em Consequences of the Axiom of Choice}.
\newblock \AMSname.
\newblock \url{http://consequences.emich.edu/conseq.htm}.

\bibitem[\protect\citeauthoryear{Kanger}{1963}]{kanger}
Stig Kanger, 1963.
\newblock A simplified proof method for elementary logic.
\newblock In \cite[\Vol\,1, \PP{364}{371}]{siekmannwrightson}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1781}]{KrVA}
Immanuel Kan{\protectedkantindex}t, 1781.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hart\-knoch, Riga.
\newblock \ \url{https://books.google.de/books?id=TQHYROUGD4kC}. \ \
  \PPcountnodot{24\,(unpagin.: Titel, Widm., Vorrede1, Inhalt) + 856}. \ \ \nth
  1\,\ednnodot. \ \ English translation: \cite{KdrV-English}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{1787}]{KdrV}
Immanuel Kan{\protectedkantindex}t, 1787.
\newblock {\em {Critik der reinen Vernunft}}.
\newblock \ Johann Friedrich Hartknoch, Riga.
\newblock \ Zweite hin und wieder verbesserte Au\fli age. \
  \url{https://books.google.de/books?id=qZEPAAAAQAAJ}. \
  \PPcountnodot{xliv\,(Titel, Widmung, Vorrede2) +\,884}. \ \nth
  2\,\rev\,\extd\,\edn\,of \cite{KrVA}. \ English translation:
  \cite{KdrV-English}.

\bibitem[\protect\citeauthoryear{Kan{\protectedkantindex}t}{2008}]{KdrV-Englis%
h}
Immanuel Kan{\protectedkantindex}t, 2008.
\newblock {\em {Critique of Pure Reason}}.
\newblock Penguin Classics.
\newblock English translation of \cite{KdrV}, including the differences of the
  first edition (\cite{KrVA}), by {\namefont Max M\ue ller} and {\namefont
  Marcus Weigelt}, \nth 2\,\rev\,\edn\ (\nth 1\,\edn\,2007).

\bibitem[\protect\citeauthoryear{Kennedy}{1973}]{kennedypeanoworks}
Hubert~C. Kennedy, 1973.
\newblock {\em Selected works of {\peanonameplain}}.
\newblock \allenandunwin.

\bibitem[\protect\citeauthoryear{Kennedy}{1980}]{kennedypeanolife-obsolete}
Hubert~C. Kennedy, 1980.
\newblock {\em {\peanoplain} --- Life and Works of {\peanonameplain}}.
\newblock   \ \,No.\,4 in Studies in the History of Modern Science. \
  \DReidelpublishing.
\newblock \peanoindex\ \nth 1\,\edn\,1980, \PPcount{231} \ Reprint without
  corrections\,\,2013, inspite of the corrected,
  \rev\,\,\&\,\,largely\,\,\extd\,\,\nth 2\,\,\edn\ \cite{kennedypeanolife}.

\bibitem[\protect\citeauthoryear{Kennedy}{2002}]{kennedypeanolife}
Hubert~C. Kennedy, 2002.
\newblock {\em {\peanoplain} --- Life and Works of {\peanonameplain}
  \linebreakafter{---} Definitive Edition}.
\newblock \ Peremptory Publications, San Francisco (CA).
\newblock \peanoindex\ E-book. \ Corrected, \rev\ \linebreakafter\& largely
  \extd\ \nth 2\ \edn, \ \PPcount{280} \ (\nth 1\,\edn:
  \cite{kennedypeanolife-obsolete}). \ \ \linebreakafter\www
  \url{/op/f/logics/Kennedy_Peano.pdf}, \ originally \publ\ at \
  \url{http://home.att.net/~clairnorman/Peano2002.pdf}.

\bibitem[\protect\citeauthoryear{Kneser}{1921/22}]{kneser-1921/22}
Hellmuth Kneser, 1921/22.
\newblock {\grundlagendermathematik}.
\newblock {Private notes of \cite{hilbert-1921/22}. Archive of
  \kneserzweiname's papers, \handschrifenabteilungSUBGoettingen,
  Cod.\,Ms.\,H.\,Kneser}.

\bibitem[\protect\citeauthoryear{Kneser}{1922/23}]{kneser-1922/23}
Hellmuth Kneser, 1922/23.
\newblock {Logische \grundlagendermathematik}.
\newblock {Private notes of \cite{hilbert-1922/23}. Archive of
  \kneserzweiname's papers, \handschrifenabteilungSUBGoettingen,
  Cod.\,Ms.\,H.\,Kneser}.

\bibitem[\protect\citeauthoryear{Kohlhase}{1998}]{kohlhasetableauupdated}
Michael Kohlhase, 1998.
\newblock Higher-order automated theorem proving.
\newblock In \cite[\Vol\,1, \PP{431}{462}]{deduction}.

\bibitem[\protect\citeauthoryear{Kowalski{\protectedkowalskiindex}}{1974}]{Kow%
74}
Robert~A. Kowalski{\protectedkowalskiindex}, 1974.
\newblock Predicate logic as a programming language.
\newblock In \cite[\PP{569}{574}]{IFIP-1974}.

\bibitem[\protect\citeauthoryear{Krazer}{1905}]{dritter-mathematiker}
A.~Krazer (ed.), 1905.
\newblock {\em {Verhandlungen des Dritten Internationalen
  Mathematiker-Kongresses, Heidelberg, \Aug\,8--13, 1904}}. Verlag von B. G.
  Teubner, \Leipzig.

\bibitem[\protect\citeauthoryear{Lambert}{1764}]{lambert-1764}
Johann~Heinrich Lambert, 1764.
\newblock {\em {Neues Organon oder Gedanken \ue ber die Erforschung und
  Bezeichnung des Wahren und dessen Unterscheidung von Irrthum und Schein.}}
\newblock Johann Wendler, \Leipzig.
\newblock {\Vol\,I\ (Dianoiologie oder die Lehre von den Gesetzen de\es\
  Denken\es, Alethiologie oder Lehre von der Wahrheit)
  (\url{http://books.google.de/books/about/Neues_Organon_oder_Gedanken_Uber_di%
e_Erf.html?id=ViS3XCuJEw8C}) \& \Vol\,II (Semiotik oder Lehre von der
  Bezeichnung der Gedanken und Dinge, Ph{\"a}nomenologie oder Lehre von dem
  Schein)
  (\url{http://books.google.de/books/about/Neues_Organon_oder_Gedanken_%C3%BCb%
er_die_Er.html?id=X8UAAAAAcAAj})\@. \ Facsimile reprint by \olmsverlag, 1965,
  with a German introduction by \hanswernerarndtname}.

\bibitem[\protect\citeauthoryear{Leisenring{\protectedleisenringindex}}{1969}]%
{leisenring}
{\leisenringfirstname}~Leisenring{\protectedleisenringindex}, 1969.
\newblock {\em Mathematical Logic and\/ {\hilbertsepsilon}-Symbol}.
\newblock Gordon and Breach, New York.

\bibitem[\protect\citeauthoryear{Mattick \bgroup\&\ \egroup
  Wirth{\protectedwirthindex}}{1999}]{productmodel}
Volker Mattick, Claus-Peter Wirth{\protectedwirthindex}, 1999.
\newblock An algebraic {Dexter}-based hypertext reference model.
\newblock Research Report (green/grey series)\,719/1999, FB Informatik, {Univ.\
  Dortmund}.
\newblock \www\url{/p/gr719}, \url{http://arxiv.org/abs/0902.3648}.

\bibitem[\protect\citeauthoryear{Menzler-Trott{\protectedmenzlerindex}}{2001}]%
{menzler-gentzen-german}
Eckart Menzler-Trott{\protectedmenzlerindex}, 2001.
\newblock {\em {\gentzen's Problem -- Mathematische Logik im
  nationalsozialistischen Deutschland}}.
\newblock \birkhaeuser.
\newblock \Rev\ English translation is \cite{menzler-gentzen-english}.

\bibitem[\protect\citeauthoryear{Menzler-Trott{\protectedmenzlerindex}}{2007}]%
{menzler-gentzen-english}
Eckart Menzler-Trott{\protectedmenzlerindex}, 2007.
\newblock {\em Logic's Lost Genius --- The Life {of\/ \gentzenname}}.
\newblock \AMSname, Providence (RI).
\newblock \Rev\ English translation of \cite{menzler-gentzen-german}.

\bibitem[\protect\citeauthoryear{Meyer-Viol}{1995}]{meyervioldiss}
Wil\-fried P.~M. Meyer-Viol, 1995.
\newblock {\em Instantial Logic --- An Investigation into Reasoning with
  Instances}.
\newblock PhD thesis, \Univ\ Utrecht.
\newblock ILLC dissertation series 1995--11.

\bibitem[\protect\citeauthoryear{Miller}{1992}]{miller}
Dale~A. Miller, 1992.
\newblock Unification under a mixed prefix.
\newblock {\em {\jscname}}, 14:321--358.

\bibitem[\protect\citeauthoryear{Moore{\protect\mooreindex} \bgroup\&\ \egroup
  Wirth{\protectedwirthindex}}{2014}]{Moore_Wirth_Automation_of_Mathematical_I%
nduction_2013}
J~Strother Moore{\protect\mooreindex}, Claus-Peter Wirth{\protectedwirthindex},
  2014.
\newblock {\em {Automation of Mathematical Induction as part of the History of
  Logic}}.
\newblock {SEKI Report SR--2013--02 (ISSN 1437--4447)}. {SEKI Publications,
  Bremen}.
\newblock \Rev\,\edn\ \Jul\,2014 (\nth 1\,\edn\,2013), \PPcount{ii+107},
  \url{http://arxiv.org/abs/1309.6226}. \Rev\,version is
  \cite{Moore_Wirth_Automation_of_Mathematical_Induction_2017}.

\bibitem[\protect\citeauthoryear{Moore{\protect\mooreindex} \bgroup\&\ \egroup
  Wirth{\protectedwirthindex}}{2017}]{Moore_Wirth_Automation_of_Mathematical_I%
nduction_2017}
J~Strother Moore{\protect\mooreindex}, Claus-Peter Wirth{\protectedwirthindex},
  2017.
\newblock {Automation of Mathematical Induction as part of the History of
  Logic}.
\newblock {\em \ifcologlogicname}, 4:1505--1634.
\newblock Received \Dec\,15, 2016. \Rev\,version of
  \cite{Moore_Wirth_Automation_of_Mathematical_Induction_2013}.

\bibitem[\protect\citeauthoryear{Murray}{1999}]{eighthTABLEAUninetynine}
Neil~V. Murray (ed.), 1999.
\newblock {\em {\theeighthTABLEAUninetynine}},   \ no.\,1617 in Lecture Notes
  in Artificial Intelligence. {\springerverlag}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1884}]{peanogenoc%
chi}
Guiseppe Peano{\protect\peanoindex} (ed.), 1884.
\newblock {\em {Angelo Genocchi} --- Calcolo differenziale e principii di
  calcolo integrale}.
\newblock Fratelli Bocca, \Torino.
\newblock German translation: \cite{peanogenocchigerman}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1890}]{peanoiota}
Guiseppe Peano{\protect\peanoindex}, 1890.
\newblock {D\'emonstration de l'int\'egrabilit\'e des \'equations
  diff\'erentielles ordinaires}.
\newblock {\em {\MathematischeAnnalen}}, 37:182--228.
\newblock Facsimile also in \cite[\PP{76}{122}]{asserpeano}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1896\f}]{peanoiot%
abar}
Guiseppe Peano{\protect\peanoindex}, 1896\f.
\newblock Studii di logica matematica.
\newblock {\em \AttiAccadTorinoname}, 32:565--583.
\newblock Also in
  \AttiAccadTorinoFisicheMatematicheNaturali{1896\f}{32}{361}{397}. English
  translation {\em Studies in Mathematical Logic}\/ in
  \cite[\PP{190}{205}]{kennedypeanoworks}. German translation:
  \cite{peanoiotabargerman}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1899a}]{peanogeno%
cchigerman}
Guiseppe Peano{\protect\peanoindex} (ed.), 1899a.
\newblock {\em {Angelo Genocchi --- Differentialrechnung und Grund\-z\ue ge der
  Integral\-rechnung}}.
\newblock \teubnerverlag, \Leipzig.
\newblock German translation of \cite{peanogenocchi}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1899b}]{peanoiota%
bargerman}
Guiseppe Peano{\protect\peanoindex}, 1899b.
\newblock {\Ue ber mathematische Logik}.
\newblock German translation of \cite{peanoiotabar}. In
  \cite[Appendix\,1]{peanogenocchigerman}. Facsimile also in
  \cite[\PP{10}{26}]{asserpeano}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1901}]{peanoformu%
lairedemathematiques}
Guiseppe Peano{\protect\peanoindex}, 1901.
\newblock {\em {Formulaire de math\'ematiques}}.
\newblock {\gauthiervillars}.
\newblock {\nth 3\,\edn\ (\nth 1\,\edn\,1895) (\nth 4\,\edn\ with different
  title is \cite{peanoformulairemathematique})}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1903}]{peanoformu%
lairemathematique}
Guiseppe Peano{\protect\peanoindex}, 1903.
\newblock {\em {Formulaire math\'ematique}}.
\newblock Fratelli Bocca, \Torino.
\newblock {\nth 4\,\edn\ (\nth 3\,\edn\ with different title is
  \cite{peanoformulairedemathematiques}) (\nth 5\,\edn\ in {\it Latino sine
  flexione}\/ is \cite{peanoformulario})}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1908}]{peanoformu%
lario}
Guiseppe Peano{\protect\peanoindex}, 1908.
\newblock {\em {\peanoformulariotitle}}.
\newblock Fratelli Bocca, \Torino.
\newblock {\nth 5\,\edn\ (in {\it Latino sine flexione}\/) (\nth 4\,\edn\ in
  French is \cite{peanoformulairemathematique})}.

\bibitem[\protect\citeauthoryear{Peano{\protect\peanoindex}}{1990}]{asserpeano}
Guiseppe Peano{\protect\peanoindex}, 1990.
\newblock {\em {\peanonameplain\ -- Arbeiten zur Analysi\es\ und zur
  mathematischen Logik}}.
\newblock   \ \,No.\,13 in \teubner-Archiv zur Mathe\-ma\-tik. \teubnerverlag.
\newblock With an essay by \assername\ (\ed).

\bibitem[\protect\citeauthoryear{P{\'e}ter{\protectedpeterindex}}{1957}]{peter%
-1957}
R{\'o}zsa P{\'e}ter{\protectedpeterindex}, 1957.
\newblock {\em Rekursive Funktionen}.
\newblock Akad.~Kiad\'o, \Budapest.
\newblock \nth 2\,\extd\,\edn\ (\nth 1\,\edn\,1951). English translation is
  \cite{peter-1967}.

\bibitem[\protect\citeauthoryear{P{\'e}ter{\protectedpeterindex}}{1967}]{peter%
-1967}
R{\'o}zsa P{\'e}ter{\protectedpeterindex}, 1967.
\newblock {\em Recursive Functions}.
\newblock Akad.~Kiad\'o, \Budapest; joint \edn\ with \academicpress.
\newblock \nth 3\,\rev\,\edn, \nth 1\,\edn\ in English, translated form the
  German \cite{peter-1957} by {\namefont Istv\'an F\oe ldes}.

\bibitem[\protect\citeauthoryear{Pinkal \bgroup\&al.\egroup
  }{2001}]{dialogprojectantrag}
Manfred Pinkal, J{\"o}rg Siek{\-}mann{\protect\siekmannindex},
  {\mbox{Ch}}ristoph Benz{\-}m{\ue}ller{\protectedbenzmuellerindex}, 2001.
\newblock {Teilprojekt \mbox{MI\,3: DIALOG}: Tutorieller Dialog mit einem
  Mathematik-Assistenten}.
\newblock In \oursfbshort\ \oursfbname, Proposal \Jan\,2002 - \Dez\,2004,
  \uniSB.

\bibitem[\protect\citeauthoryear{Prawitz}{1960}]{prawitzimproved}
Dag Prawitz, 1960.
\newblock An improved proof procedure.
\newblock {\em Theoria: A Swedish Journal of Philosophy}, 26:102--139.
\newblock Also in \cite[\Vol\,1, \PP{159}{199}]{siekmannwrightson}.

\bibitem[\protect\citeauthoryear{Quine\protect\quineindex}{1981}]{ML}
Willard Van~O. Quine\protect\quineindex, 1981.
\newblock {\em Mathematical Logic}.
\newblock \harvardunipress.
\newblock \nth 4\,\rev\,\edn\ (\nth 1\,\edn\ 1940).

\bibitem[\protect\citeauthoryear{Rosenfeld}{1974}]{IFIP-1974}
Jack~L. Rosenfeld (ed.), 1974.
\newblock {\em {\Proc\ of the Congress of the \Int\ Federation for Information
  Processing (IFIP), Stockholm (Sweden), \Aug\,5--10, 1974}}. \northholland.

\bibitem[\protect\citeauthoryear{Rubin{\protectedrubinheindex} \bgroup\&\
  \egroup Rubin{\protectedrubinsheindex}}{1985}]{axiomofchoice}
Herman Rubin{\protectedrubinheindex}, Jean~E. Rubin{\protectedrubinsheindex},
  1985.
\newblock {\em Equivalents of the {Axiom of Choice}}.
\newblock {\northholland}.
\newblock \nth 2\,\rev\,\edn\ (\nth 1\,\edn\,1963).

\bibitem[\protect\citeauthoryear{Russe{\protectedrussellindex}ll}{1905}]{denot%
ing}
Bertrand Russe{\protectedrussellindex}ll, 1905.
\newblock {\denotingtitle}.
\newblock {\em \mindname}, 14:479--493.

\bibitem[\protect\citeauthoryear{Russe{\protectedrussellindex}ll}{1919}]{mathe%
maticalphilosophy}
Bertrand Russe{\protectedrussellindex}ll, 1919.
\newblock {\em Introduction to Mathematical Philosophy}.
\newblock {\allenandunwin}.

\bibitem[\protect\citeauthoryear{Russell \bgroup\&\ \egroup
  Norvig}{1995}]{RN95}
Stuart~J. Russell, Peter Norvig, 1995.
\newblock {\em Artificial Intelligence: A Modern Approach}.
\newblock \PrenticeHall.
\newblock \nth 1\,\edn\ (\nth 4\,\edn\,2020, \Pearson).

\bibitem[\protect\citeauthoryear{Schmidt-Samoa{\protectedsamoaindex}}{2006}]{j%
ancl}
Tobias Schmidt-Samoa{\protectedsamoaindex}, 2006.
\newblock Flexible heuristics for simplification with conditional lemmas by
  marking formulas as forbidden, mandatory, obligatory, and generous.
\newblock {\em \janclname}, 16:209--239.
\newblock \url{http://dx.doi.org/10.3166/jancl.16.208-239}.

\bibitem[\protect\citeauthoryear{Sch{\"u}tte{\protectedschuetteindex}}{1960}]{%
schuette60:_beweis}
Kurt Sch{\"u}tte{\protectedschuetteindex}, 1960.
\newblock {\em {Bewei\esi theorie}}.
\newblock   \ \,No.\,103 in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\springerverlag}.
\newblock Thoroughly \rev\ {English} translation: \cite{schuette-1977}.

\bibitem[\protect\citeauthoryear{Sch{\"u}tte{\protectedschuetteindex}}{1977}]{%
schuette-1977}
Kurt Sch{\"u}tte{\protectedschuetteindex}, 1977.
\newblock {\em Proof theory}.
\newblock   \ \,No.\,225 in
  {\glqqtight\seriesgrundlehrendermathematischenwissenschaften\grqqtightforbib%
}. {\springerverlag}.
\newblock Translated from a thorough revision of \cite{schuette60:_beweis} by
  \crossleyname.

\bibitem[\protect\citeauthoryear{Siek{\-}mann{\protect\siekmannindex}
  \bgroup\&\ \egroup Wrightson}{1983}]{siekmannwrightson}
J{\"o}rg Siek{\-}mann{\protect\siekmannindex}, Graham Wrightson (eds.), 1983.
\newblock {\em Automation of Reasoning}.
\newblock {\springerverlag}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{1994}]{slater-%
intensional-logic}
B.~Hartley Slater{\protectedslaterindex}, 1994.
\newblock {\em {Intensional Logic --- an essay in analytical metaphysics}}.
\newblock Avebury Series in Philosophy. Ashgate Publ.\ Ltd (Taylor \& Francis),
  Aldershot (England).

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2002}]{Slater_%
2002_LogicReformed}
B.~Hartley Slater{\protectedslaterindex}, 2002.
\newblock {\em Logic Reformed}.
\newblock Peter Lang AG, Bern, Switzerland.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2007a}]{Slater%
_2007_CompletingRussellsLogic}
B.~Hartley Slater{\protectedslaterindex}, 2007a.
\newblock Completing {\russell's logic}.
\newblock {\em \russellplain: the Journal of \russellnameplain\ Studies,
  McMaster \Univ, Hamilton (Ontario), Canada}, 27:144--158.
\newblock Also in \cite[\litchapref 3 (\PP{15}{27})]{logic-not-mathematical}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2007b}]{de-mat%
hematisation-of-Logic}
B.~Hartley Slater{\protectedslaterindex}, 2007b.
\newblock {\em The De-Mathematisation of Logic}.
\newblock Poli\-metrica, Monza, Italy.
\newblock Open access publication,
  \url{wirth.bplaced.net/op/fullpaper/hilbertbernays/Slater_2007_De-Mathematis%
ation.pdf}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2009}]{slater-%
handbook}
B.~Hartley Slater{\protectedslaterindex}, 2009.
\newblock {\hilbert's epsilon calculus and its successors}.
\newblock In \cite[\Vol\,5: Logic from \russell\ to \church,
  \PP{365}{448}]{handbook-of-the-history-of-logic}.

\bibitem[\protect\citeauthoryear{Slater{\protectedslaterindex}}{2011}]{logic-n%
ot-mathematical}
B.~Hartley Slater{\protectedslaterindex}, 2011.
\newblock {\em Logic is Not Mathematical}.
\newblock \collegepublications.

\bibitem[\protect\citeauthoryear{Smullyan{\protectedsmullyanindex}}{1968}]{smu%
llyan}
Raymond~M. Smullyan{\protectedsmullyanindex}, 1968.
\newblock {\em First-Order Logic}.
\newblock {\springerverlag}.
\newblock \nth 1\,\edn, \nth 2\,\extd\,\edn\ is \cite{Smullyan95}.

\bibitem[\protect\citeauthoryear{Smullyan{\protectedsmullyanindex}}{1995}]{Smu%
llyan95}
Raymond~M. Smullyan{\protectedsmullyanindex}, 1995.
\newblock {\em First-Order Logic}.
\newblock Dover Publications, New York.
\newblock \nth 2\,\extd\,\edn\ of \cite{smullyan}, with a new preface and some
  corrections of the author.

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

\bibitem[\protect\citeauthoryear{Strawson}{1950}]{referring}
Peter~F. Strawson, 1950.
\newblock {\referringtitle}.
\newblock {\em \mindname}, 59:320--344.

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

\bibitem[\protect\citeauthoryear{Turing}{1937}]{turing-entscheidungsproblem-co%
rrection}
Alan~M. Turing, 1937.
\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.
\newblock Correction of \cite{turing-entscheidungsproblem} according to the
  errors found by \bernaysname.

\bibitem[\protect\citeauthoryear{Urban \bgroup\&al.\egroup
  }{2004}]{gabbay:nomu-jv}
Christian Urban, Murdoch~J. Gabbay, Andrew~M. Pitts, 2004.
\newblock Nominal unification.
\newblock {\em \tcsname}, 323:473--497.

\bibitem[\protect\citeauthoryear{Wallen}{1990}]{wallen}
Lincoln~A. Wallen, 1990.
\newblock {\em Automated Proof Search in Non-Classical Logics --- efficient
  matrix proof methods for modal and intuitionistic logics}.
\newblock \mitpress.
\newblock Phd thesis.

\bibitem[\protect\citeauthoryear{Wey{\protectedweylindex}l}{1918}]{weyl-1918}
Hermann Wey{\protectedweylindex}l, 1918.
\newblock {\em {Das Kontinuum. Kritische Untersuchungen \ue ber die Grundlagen
  der Analysis}}.
\newblock Veit, \Leipzig.
\newblock Reprinted\,1932 by de Grutyer, \Berlin\ and \Leipzig. \ Also in
  \cite{chelsea-monographies}. {English} translation: \cite{weyl-1918-english}.

\bibitem[\protect\citeauthoryear{Wey{\protectedweylindex}l}{1994}]{weyl-1918-e%
nglish}
Hermann Wey{\protectedweylindex}l, 1994.
\newblock {\em The Continuum: A Critical Examination of the Foundation of
  Analysis}.
\newblock Dover Publications.
\newblock Translation of \cite{weyl-1918} by {\namefont Stephen Pollard} and
  {\namefont\thomas\ Bole}.

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

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{1998}]{wirthgree%
n}
Claus-Peter Wirth{\protectedwirthindex}, 1998.
\newblock Full first-order sequent and tableau calculi with preservation of
  solutions and the liberalized {$\delta$}-rule but without {Skolemization}.
\newblock Research Report (green/grey series)\,698/1998, FB Informatik, {Univ.\
  Dortmund}.
\newblock \url{http://arxiv.org/abs/0902.3730}. Short version in \salzername,
  \caferraname\ (\eds). \Proc\ \nth 2\,\Int\ Workshop on First-Order Theorem
  Proving (FTP'98), \PP{244}{255}, \Tech\ \Univ\ Vienna, 1998. Short version
  also in \cite[\PP{283}{298}]{ftpwien}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2002}]{wirthhilb%
ertepsilon}
Claus-Peter Wirth{\protectedwirthindex}, 2002.
\newblock A new indefinite semantics for {\hilbertplain's} epsilon.
\newblock In \cite[\PP{298}{314}]{eleventhTABLEAUtwo}. \www\url{/p/epsi}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2004}]{wirthcard%
inal}
Claus-Peter Wirth{\protectedwirthindex}, 2004.
\newblock {\DescenteInfinie\ + Deduction}.
\newblock {\em {\ljigplname}}, 12:1--96.
\newblock \www\url{/p/d}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2006a}]{nonpermu%
t}
Claus-Peter Wirth{\protectedwirthindex}, 2006a.
\newblock {\em {lim+}, {$\delta^+$}, and Non-Permutability of {$\beta$}-Steps}.
\newblock {SEKI Report SR--2005--01 (ISSN 1437--4447)}. {SEKI Publications,
  Bremen}, Saarland Univ.
\newblock \Rev\,\edn\ \Jul\,2006 (\nth 1\,\edn\,2005), \PPcount{ii+36},
  \url{http://arxiv.org/abs/0902.3635}. Thoroughly improved version is
  \cite{wirth-jsc-non-permut}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2006b}]{wirth-hi%
lbert-seki}
Claus-Peter Wirth{\protectedwirthindex}, 2006b.
\newblock {\em {\hilbertplain's epsilon} as an Operator of Indefinite Committed
  Choice}.
\newblock {\ SEKI Report SR--2006--02 (ISSN 1437--4447)}. {\ \ SEKI
  Publications, Bremen}, Saar\-land Univ.
\newblock \nth 1\,printed\,\edn\,2006, \PPcount{ii+66} \ \nth2\,\rev\,\edn\
  \Jan\,2010, \PPcount{ii+72} \ \nth3\,\rev\,\edn\,2012, \PPcount{ii+73} \
  {\url{http://arxiv.org/abs/0902.3749}}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2008}]{wirth-jal}
Claus-Peter Wirth{\protectedwirthindex}, 2008.
\newblock \hilbertplain's epsilon as an operator of indefinite committed
  choice.
\newblock {\em J. Applied Logic}, 6:287--317.
\newblock \url{http://dx.doi.org/10.1016/j.jal.2007.07.009}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2009}]{wirth-jsc}
Claus-Peter Wirth{\protectedwirthindex}, 2009.
\newblock Shallow confluence of conditional term rewriting systems.
\newblock {\em {\jscname}}, 44:69--98.
\newblock \url{http://dx.doi.org/10.1016/j.jsc.2008.05.005}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2012a}]{wirth-he%
ijenoort}
Claus-Peter Wirth{\protectedwirthindex}, 2012a.
\newblock {\herbrandsfundamentaltheoremplain} in the eyes of
  {\heijenoortnameplain}.
\newblock {\em {\logicauniversalisname}}, 6:485--520.
\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}}{2012b}]{wirth-js%
c-non-permut}
Claus-Peter Wirth{\protectedwirthindex}, 2012b.
\newblock {\math{\lim\tight+}, \math{\delta^+}, and \NonPermutability\ of
  \math\beta-Steps}.
\newblock {\em {\jscname}}, 47:1109--1135.
\newblock Received \Jan\,18, 2011. Published online \Jul\,15, 2011,
  \url{http://dx.doi.org/10.1016/j.jsc.2011.12.035}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2014}]{wirth-hei%
jenoort-SEKI}
Claus-Peter Wirth{\protectedwirthindex}, 2014.
\newblock {\em {\herbrandsfundamentaltheoremplain:} The Historical Facts and
  their Streamlining}.
\newblock {SEKI Report SR--2014--01 (ISSN 1437--4447)}. {SEKI Publications,
  Bremen}.
\newblock \PPcount{ii+47}, \url{http://arxiv.org/abs/1405.6317}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2016}]{wirth-eps%
ilon-confluent-terminating}
Claus-Peter Wirth{\protectedwirthindex}, 2016.
\newblock {\em The Explicit Definition of Quantifiers via {\hilbertplain's
  epsilon} is Confluent and Terminating}.
\newblock {SEKI Report SR--2015--02 (ISSN 1437--4447)}. {SEKI Publications,
  Bremen}.
\newblock \PPcount{ii+20}, \url{https://arxiv.org/abs/1611.06389}. Also in:
  \cite{wirth-epsilon-confluent-terminating-ifcolog}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2017a}]{wirth-ep%
silon-confluent-terminating-ifcolog}
Claus-Peter Wirth{\protectedwirthindex}, 2017a.
\newblock The explicit definition of quantifiers via {\hilbertplain's epsilon}
  is confluent and terminating.
\newblock {\em \ifcologlogicname}, 4:527--547.
\newblock Received \Oct\,23, 2015.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2017b}]{wirth-si%
mplified-epsilon-journal}
Claus-Peter Wirth{\protectedwirthindex}, 2017b.
\newblock A simplified and improved free-variable framework for {\hilbert's
  epsilon} as an operator of indefinite committed choice.
\newblock {\em \ifcologlogicname}, 4:435--526.
\newblock \ Received \Oct\,23, 2015. \ Improved Version:
  \cite{wirth-simplified-epsilon-seki}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2017c}]{wirth-si%
mplified-epsilon-seki}
Claus-Peter Wirth{\protectedwirthindex}, 2017c.
\newblock {\em A Simplified and Improved Free-Variable Framework for
  {\hilbertplain's epsilon} as an Operator of Indefinite Committed Choice}.
\newblock \ {SEKI Report} \linebreakafter{SR--2011--01} (ISSN 1437--4447). \ \
  {SEKI Publications, Bremen}.
\newblock \ \ \nth 9 \rev\ \& \extd\ \edn, \hskip.25em \Feb~2017, \hskip.3em
  \PPcount{ii\,+\,92}\linebreak {\nth 1\,\edn, \Apr~2011, \hskip.1em
  \PPcount{ii+64}} \hskip.5em
  \nth{10}\,thoroughly\,\rev\,\&\,largely\,\extd\,\edn, \Jun\,\,2024,
  \hskip.1em \PPcount{ii+114}, (this\,\edn!). \ \
  \mbox{\url{https://arxiv.org/abs/1104.2444}}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2021a}]{swp-2017%
-01}
Claus-Peter Wirth{\protectedwirthindex}, 2021a.
\newblock {\em \ A Most Interesting Draft for {\hilbertplain\ and\
  \bernaysplain'} \mbox{``\grundlagendermathematiktight''} that never found its
  way into any publication, and two {CV} of {\hasenjaegernameplain}}.
\newblock \ {SEKI Working-PAPER {SWP--2017--01 (ISSN\,1860--5931)}}. {\ SEKI
  Publica\-tions, Bremen}.
\newblock \hilbertindex \bernaysindex \hasenjaegerindex \ \ \nth 4\,\edn,
  \hskip.1em \Jun\,25,\,\,2021, \hskip.2em \PPcount{ii+60}, \hskip.2em revised
  to be in correspondence with the blog \linebreak ``ETHeritage''\,{\tt
  https://etheritage.ethz.ch/2021/06/25/urschriften-zu-hilbert-bernays-}\\{\tt
  grundlagen-der-mathematik/} \hskip.1em and the new sub-folder\,Hs\,973:41.1,
  \ETHZofficialarchivereferencewithnlb. \nth 1\,\edn,\,\Mar\,2018,
  \PPcount{ii+33} \nth
  2\,thoroughly\,\rev\,\&\,largely\,\extd\,\edn,\,\Jan\,2020, \PPcount{ii+44}
  \linebreak \nth 3\,thoroughly\,\rev\,\& largely\,\extd\,\edn, \Jun\,9,~2021,
  \hskip.2em \PPcount{ii+60} \ \ \url{https://arxiv.org/abs/1803.01386}\@. \ \
  The ``Draft'' mentioned in the title is \cite{bernays-Hs973:41}.

\bibitem[\protect\citeauthoryear{Wirth{\protectedwirthindex}}{2021b}]{wirth-si%
eb}
Claus-Peter Wirth{\protectedwirthindex}, 2021b.
\newblock \hasenjaegernameplain\ and a most interesting unpublished draft for
  \hilbertplain\ and \bernaysplain' ``\grundlagendermathematiknoindex''.
\newblock {\em Siegener Beitr\ae ge zur Geschichte und Philosophie der
  Mathematik, ISSN 2197-5590}, 14:1--56.
\newblock Thoroughly \rev\ and improved version of \cite{swp-2017-01}.
  \url{https://www.universi.uni-siegen.de/katalog/reihen/sieb}.

\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}, Serge
  Autexier{\protectedautexierindex}, 2009.
\newblock \ \herbrandnameplain: Life, logic, and automated deduction.
\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}, Serge
  Autexier{\protectedautexierindex}, 2014.
\newblock {\em Lectures on {\herbrandnameplain} as a Logician}.
\newblock {SEKI Report SR--2009--01 (ISSN 1437--4447)}. {SEKI Publications,
  Bremen}.
\newblock \ \Rev\,\edn\ \May\,2014, \PPcount{ii+82},
  {\url{http://arxiv.org/abs/0902.4682}}.

\end{thebibliography}
