@Book{grundlagen-german-english-edition-volume-one-one,
year={2017},
author={Hilbert, David and Bernays, Paul},
title={{Grundlagen der Mathematik~I --- Foundations of Mathematics~I, Part\,A: Title Pages, Prefaces, and\/ \S\S\,1--2}},
publisher={Web only: \url{http://wirth.bplaced.net/p/hilbertbernays}},
note={\ First English translation and bilingual facsimile edn.\ of the $2^{\rm nd}$ German edn.\ \cite{grundlagen-second-edition-volume-one}, incl.\ the annotation and translation of all differences of the $1^{\rm st}$ German edn.\ \cite{grundlagen-first-edition-volume-one}. \ Ed.\ by Claus-Peter Wirth, J{\"o}rg Siekmann, Volker Peckhaus, Michael and Dov Gabbay. \ Translated and commented by Claus-Peter Wirth\ \&al. \ Thoroughly rev.\ $3^{\rm rd}$\,edn.\ ($1^{\rm st}$\,edn.\ College Publications, London, 2011; $2^{\rm nd}$\,edn.\ \url{http://wirth.bplaced.net/p/hilbertbernays}, 2013)},
}

@Book{grundlagen-german-english-edition-volume-one-two,
year={2017},
author={Hilbert, David and Bernays, Paul},
title={{Grundlagen der Mathematik~I --- Foundations of Mathematics~I, Part\,B:\/ \S\S\,3--5 and Deleted Part~1 (of the\/ $1^{\rm st}$\,edn.)}},
publisher={Web only: \url{http://wirth.bplaced.net/p/hilbertbernays}},
note={\ First English translation and bilingual facsimile edn.\ of the\/ $2^{\rm nd}$ German edn.\ \cite{grundlagen-second-edition-volume-one}, incl.\ the annotation and translation of all deleted texts of the $1^{\rm st}$ German edn.\ \cite{grundlagen-first-edition-volume-one}. \ Ed.\ by Claus-Peter Wirth, J{\"o}rg Siekmann, Volker Peckhaus, Michael and Dov Gabbay. \ Translated and commented by Claus-Peter Wirth \&al. \ Thoroughly rev.\ $3^{\rm rd}$\,edn.\ ($1^{\rm st}$\,edn.\ College Publications, London, 2012; $2^{\rm nd}$\,edn.\ \url{http://wirth.bplaced.net/p/hilbertbernays}, 2013)},
}

@Book{grundlagen-german-english-edition-volume-one-three,
year={2017},
author={Hilbert, David and Bernays, Paul},
title={{Grundlagen der Mathematik~I --- Foundations of Mathematics~I, Part\,C: \ \S\S\,6(a)\,--\,7(c) \hskip.04em and Deleted Parts 2~and~3 (of the\/ $1^{\rm st}$\,edn.)}},
publisher={Web only: \url{http://wirth.bplaced.net/p/hilbertbernays}},
note={\ First English translation and bilingual facsimile edn.\ of the $2^{\rm nd}$ German edn.\ \cite{grundlagen-second-edition-volume-one}, incl.\ the annotation and translation of all deleted texts of the $1^{\rm st}$ German edn.\ \cite{grundlagen-first-edition-volume-one}. \ Ed.\ by Claus-Peter Wirth, J{\"o}rg Siekmann, Volker Peckhaus, Michael and Dov Gabbay. \ Translated and commented by Claus-Peter Wirth},
}

@Book{grundlagen-first-edition-volume-one,
year={1934},
author={Hilbert, David and Bernays, Paul},
title={{Grundlagen der Mathematik --- Erster Band}},
series={{Grundlehren der mathematischen Wissenschaften}},
number={XL},
publisher={Springer, Berlin},
note={\ $1^{\rm st}$\,edn.\ ($2^{\rm nd}$\,edn.: \cite{grundlagen-second-edition-volume-one}). \ Reprint: J.\,W.\,Edwards Publ.,\ Ann Arbor (MI), 1944. \ English translation: \makeaciteofthree{grundlagen-german-english-edition-volume-one-one}{grundlagen-german-english-edition-volume-one-two}{grundlagen-german-english-edition-volume-one-three}},
}

@Book{grundlagen-second-edition-volume-one,
year={1968},
author={Hilbert, David and Bernays, Paul},
Title={{Grundlagen der Mathematik~I}},
Publisher={Springer, Berlin},
series={{Grundlehren der mathematischen Wissenschaften}},
number={40},
Note={\ $2^{\rm nd}$\,rev.\,edn.\ ($1^{\rm st}$\,edn.: \cite{grundlagen-first-edition-volume-one}). \ English translation: \makeaciteofthree{grundlagen-german-english-edition-volume-one-one}{grundlagen-german-english-edition-volume-one-two}{grundlagen-german-english-edition-volume-one-three}},
}

@Book{grundlagen-first-edition-volume-two,
year={1939},
author={Hilbert, David and Bernays, Paul},
title={{Grundlagen der Mathematik\ --- Zweiter Band}},
series={{Grundlehren der mathematischen Wissenschaften}},
number={L},
publisher={Springer, Berlin},
note={\ $1^{\rm st}$\,edn.\ ($2^{\rm nd}$\,edn.: \cite{grundlagen-second-edition-volume-two}). \ Reprint: J.\,W.\,Edwards Publ.,\ Ann Arbor (MI), 1944},
}

@Book{grundlagen-second-edition-volume-two,
year={1970},
author={Hilbert, David and Bernays, Paul},
Title={{Grundlagen der Mathematik~II}},
Publisher={Springer, Berlin},
series={{Grundlehren der mathematischen Wissenschaften}},
number={50},
Note={\ $2^{\rm nd}$\,rev.\,extd.\,edn.\ ($1^{\rm st}$\,edn.: \cite{grundlagen-first-edition-volume-two})},
}

@Article{wirth-sieb,
year={2021},
author={Wirth, Claus-Peter},
title={{Gisbert Hasenjaeger} and a Most Interesting Unpublished Draft for {Hilbert} and {Bernays' ``Grundlagen der Mathematik''}},
journal={Siegener Beitr{\"a}ge zur Geschichte und Philosophie der Mathematik, ISSN 2197-5590},
volume={14},
pages={1--56},
note={Thoroughly rev.\ and improved version of \cite{swp-2017-01}. \url{https://www.universi.uni-siegen.de/katalog/reihen/sieb}},
}

@Book{swp-2017-01,
year={2021},
author={Wirth, Claus-Peter},
title={\ A Most Interesting Draft for {Hilbert \linebreak and\ Bernays ``Grundlagen der Mathematik''} that never found its way into any \linebreak publication, and two {CV} of {Gisbert Hasenjaeger}},
publisher={\ {SEKI Publica\-tions, Bremen}},
series={\ {SEKI~Working-PAPER \linebreak {SWP--2017--01 (ISSN\,1860--5931)}}},
note={{$4^{\rm th}$}\,edn.,\linebreak June\,25, 2021, pp.\,{ii+60}, \hskip.2em revised to be in correspondence with the blog \linebreak ``ETHeritage'' {\tt https://etheritage.ethz.ch/2021/06/25/urschriften-z}\\{\tt u-hilbert-bernays-grundlagen-der-mathematik/} and the new sub-folder \linebreak Hs\,973:41.1, ETH-Bibliothek, Hoch\-schul\-archiv. \ {$1^{\rm st}$}\,edn.,\ Mar.\,2018, pp.\,ii+33. \linebreak {$2^{\rm nd}$}\,thoroughly\,rev.\,\&\,largely\,extd.\,edn., Jan.\,2020, pp.\,{ii+44}. \ {$3^{\rm rd}$}\,thoroughly rev.\,\& largely\,extd.\,edn., June\,9,~2021, pp.\,{ii+60}. \ \ \url{https://arxiv.org/abs/1803.01386}\@. \ \ The ``Draft'' mentioned in the title is \cite{bernays-Hs973:41}},
}

@Unpublished{bernays-Hs973:41,
year={1952(?)},
author={Bernays, Paul
    and Hasen{\-}jaeger, Gisbert},
title={A Most Interesting Draft for {Hilbert} and {Bernays' ``Grundlagen der Mathe\-matik''}},
note={Unpublished untitled typescript by Hasenjaeger with corrections \linebreak from Bernays' hand, pp.\,{34}, with page numbers 2--34 on the respective page headers; ETH-Bibliothek, Hoch\-schul\-archiv, in Hs\,973\,(Paul Bernays):\,41 (since June\,22, 2021, in the new sub-folder Hs\,973:41.1). \ Swiss Federal Institute of Technology in Z{\"u}rich (ETH Zuerich),  Z{\"u}rich (Switzerland). \ \ Cf.\ \cite[p.\,7]{bernays-1986} and \url{http://archivdatenbank-online.ethz.ch/hsa/#/content/cbe1f559fdbd4e338909ebed6c2740e2} for the listing in the archive and \cite{swp-2017-01} for a discussion of the typescript. \ Scan of the type- \linebreak script: \url{https://etheritage.ethz.ch/wp-content/uploads/2021/05/Hs_973_41_S_1-34.pdf}. \ Two carbon copies without the corrections from Ber\-nays' 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 Beate Becker (n\'ee Hasenjaeger) in her part of the legacy of Gisbert Hasenjaeger, which she gave to the following archive by the end of the year~2018: Legacy of Gisbert Hasenjaeger, Deutsches Museum, M{\"u}nchen, Archiv: ``Nachl{\"a}sse~H, NL\,288''},
}

@TechReport{bernays-1986,
year={1986},
author={Bernays, Paul},
title={Manuscripts},
institution={Wissenschaftshistorische Sammlung der ETH- \linebreak Bibliothek, Swiss Federal Institute of Technology in Z{\"u}rich (ETH Zuerich),  Z{\"u}rich (Switzerland).},
type={Handschriften und Autogra\-phen der ETH-Bibliothek},
number={66},
note={\url{http://dx.doi.org/10.3929/ethz-a-000381167}, \mbox{\url{e-collection.library.ethz.ch/eserv/eth:22103/eth-22103-01.pdf}}}}
}

@Article{wirth-epsilon-confluent-terminating-ifcolog,
year={2017},
author={Wirth, Claus-Peter},
title={The Explicit Definition of Quantifiers via {Hilbert's epsilon} is Confluent and Terminating},
journal={IFCoLog J. of Logics and Their Applications},
volume={4},
pages={527--547},
note={Received Oct.\,23, 2015},
}



@Comment{Tested under teTeX with the following file plain.tex:}

@Comment{\documentclass[a4paper]{article}\usepackage{url}\pagestyle{empty}\newcommand\makeaciteofthree[3]{\cite{#1,#2,#3}}\renewcommand\refname{Bibliographie}\begin{document}\nocite{grundlagen-german-english-edition-volume-one-one,grundlagen-german-english-edition-volume-one-two,grundlagen-german-english-edition-volume-one-three,grundlagen-first-edition-volume-two,wirth-epsilon-confluent-terminating-ifcolog,wirth-sieb}\bibliographystyle{plain}\bibliography{bib}\end{document}}