大卫·希尔伯特；保罗·伯奈斯 Dov Gabbay公司（编辑）；迈克尔·加巴伊（编辑）；约尔格·西克曼（编辑）；克劳斯·皮特·沃思（编辑）；威弗里德·西格（编辑） Grundlagen der Mathematik公司。数学基础。I.第一部分前言和§§1-2。由Dov Gabbay、Michael Gabbay，Jörg Siekmann和Claus-Peter Wirth编辑并附有序言。由克劳斯·彼得·沃思（Claus-Peter Wirth）评论1968年第二版德语的翻译，包括1934年第一版德语所有删除部分的注释和翻译。威尔弗里德·西格（Wilfried Sieg）写了一章“希尔伯特的证明理论”。英语-德语双文本。 （德语、英语） 兹比尔1283.03005 伦敦：学院出版物（ISBN 978-1-84890-033-2）。十三、170页。(2011).MSC公司：03-03 03-02 01A75号 03立方厘米30 03Fxx公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Hilbert}等人，Grundlagen der Mathematik。数学基础。I.第一部分前言和\S\S1-2。由Dov Gabbay、Michael Gabbay，Jörg Siekmann和Claus-Peter Wirth编辑并附有序言。由克劳斯·彼得·沃思（Claus-Peter Wirth）评论1968年第二版德语的翻译，包括1934年第一版德语所有删除部分的注释和翻译。威尔弗里德·西格（Wilfried Sieg）写了一章“希尔伯特的证明理论”。英语-德语双文本。伦敦：学院出版物（2011；Zbl 1283.03005）
D.希尔伯特。；伯奈斯，P。 数学基础。1.由弗朗索瓦·盖拉德和马塞尔·纪尧姆翻译自1968年第二版德语。（数学问题基金会。1） （法语） Zbl 1019.01014号 巴黎：哈玛顿。第607页（2001年）。MSC公司：01A75号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{D.Hilbert}和\textit{P.Bernays}，数学基金会。1.巴黎：哈玛顿（2001；Zbl 1019.01014）
D.希尔伯特。；伯奈斯，P。 数学基础。2.由弗朗索瓦·盖拉德、尤金·纪尧姆和马塞尔·纪尧姆翻译自德语第二版（1970年）。（数学问题基金会。2。） （法语） Zbl 1019.01015号 巴黎：哈玛顿。第624页（2001年）。MSC公司：01A75号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{D.Hilbert}和\textit{P.Bernays}，数学基金会。2.巴黎：哈玛顿（2001；Zbl 1019.01015）
大卫·希尔伯特 [保罗·伯奈斯；迈克尔·托佩尔；休伯特·基什勒；亚历山大·克鲁泽；海因里希·韦费尔谢德] 几何基础。附Paul Bernays的补充材料。迈克尔·托佩尔（Michael Toepell）、休伯特·基什勒（Hubert Kiechle）、亚历山大·克鲁泽（Alexander Kreuzer）和海因里希·韦费尔谢德（Heinrich Wefelscheid）为本次会议做出了贡献。编辑，并附有迈克尔·托佩尔的附录。14.辅助。（《几何领域的格兰德拉根》、《保罗·伯奈斯的密特补遗》、《迈克尔·托佩尔的密特拜特罗根》、休伯特·基什勒、亚历山大·克鲁泽和海因里希·韦费尔谢德》、《赫鲁斯盖本与密特安赫根·冯·迈克尔·托珀尔》。） （德语） Zbl 0933.01031号 Teubner-Archiv zur Mathematik。补充. 6. 斯图加特：B.G.Teubner。xxiii，408 S.（1999）。 审核人：Reinhard Siegmund-Schultze（柏林） MSC公司：01A75号 51-03 53-01 51A05号 2015年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{D.Hilbert}，Grundlagen der Geometrie。Mit增补von Paul Bernays。Mit Beiträgen von Michael Toepell、Hubert Kiechle、Alexander Kreuzer和Heinrich Wefelscheid。Herausgegeben und mit Anhängen von Michael Toepell（赫鲁斯盖本和安根·冯·迈克尔·托佩尔）。14.辅助。斯图加特：B.G.Teubner（1999；Zbl 0933.01031）
大卫·希尔伯特 [伯奈斯，P。] 《自然与数学》（Natur und mathematisches Erkennen）。沃尔松·冯·希尔伯特教授。Ausgearbeitet von P.Bernays公司。1919年赫伯斯特学期。（Natur und mathematisches Erkennen.Vorlesung von Hilbert教授，Ausgearbeitet von P.Bernays，1919年赫伯斯特学期） （德语） Zbl 0833.01036号 哥廷根：哥廷根大学，数学。Inst.117 S.（1989）。MSC公司：01A75号 00A79号 01-01 PDF格式BibTeX公司 XML格式引用 \textit{D.Hilbert}，《自然与数学》Erkennen。沃尔松·冯·希尔伯特教授。Ausgearbeitet von P.Bernays公司。1919年赫伯斯特学期。哥廷根：哥廷根大学，数学。仪器（1989；Zbl 0833.01036）
大卫·希尔伯特 [保罗·伯奈斯] 几何基础。由Paul Bernays提供补充材料。第13版。（Grundlagen der Geometrie.Mit增补件von Paul Bernays.13。澳大利亚） （德语） Zbl 0651.51001号 图布纳研究所：Mathematik。斯图加特：B.G.Teubner。七、 271 S。；DM 32.00（1987）。MSC公司：51-03 01A75号 51-01 01A60型 01A55号 51A05号 2015年11月51日 PDF格式BibTeX公司 XML格式
保罗·贝纳瑟拉夫（编辑）；希拉里·普特南（编辑） [卡纳普，R。；海廷，A。；冯·诺依曼，J。；布鲁尔，L.E.J。；M·达米特。；弗雷格，G。；B.罗素。；D.希尔伯特。；咖喱，H.B。；乔治·克雷塞尔；伯奈斯，P。；贝纳塞拉夫，P。；普特南，H。；A.J.艾尔。；W.V.奎因。；亨佩尔，C.G。；彭加雷，H。；哥德尔，K。；G.布洛斯。；帕森斯，C。；王浩] 数学哲学。选定读数。第2版。 （英语） Zbl 0548.0302号 剑桥等：剑桥大学出版社。viii，600 p.hbk:30.00英镑；$39.50; pbk：10.95英镑；$1895年（1983年）。 审核人：伊尔卡·尼尼洛托（赫尔辛基） MSC公司：03-03 03A05号 00A30型 01A75号 00B10号机组 01A60型 PDF格式BibTeX公司 XML格式
D.希尔伯特。；伯奈斯，P。 数学基础。逻辑计算和算法的形式化。（Osnovaniya matematiki。Logicheskie ischisleniya i formalicatsiya arifmetiki）。Transl.公司。来自德国。俄语翻译。S.I.Adyan编辑。第2版。 （俄语） Zbl 0518.03001号 塞里亚：“Matematicheskaya Logika i Osnovaniya Matematiki”。莫斯科：“Nauka”。第556页（1982年）。MSC公司：03-02 03Fxx公司 03英尺30英寸 03楼50 03F99型 PDF格式BibTeX公司 XML格式
D.希尔伯特。；伯奈斯，P。 [阿德扬，S.I。] 数学基础。逻辑计算和算法的形式化。（Osnovaniya matematiki。逻辑上的ischisleniya i formalizatsiya arifmetiki）。Transl.公司。来自德国的N.M.Nagornyj。俄文翻译版，序言由S.I.Adyan编写。 （俄语） Zbl 0478.0302号 Matematicheskaya Logika i Osnovaniya Matematiki公司。莫斯科：“Nauka”。558 p.R.2.70（1979年）。MSC公司：03-02 03Fxx公司 03英尺30英寸 03楼50 03F99型 PDF格式BibTeX公司 XML格式
大卫·希尔伯特 [保罗·伯奈斯] 几何基础。由Paul Bernays提供补充材料。第11版。（Grundlagen der Geometrie.Mit Supplementen von Paul Bernays，第11页。澳大利亚） （德语） Zbl 0246.50001号 Teubner Studienbücher公司。马塞马提克。斯图加特：B.G.Teubner。七、 美国麻省理工学院271号129号院长。DM 16.80（1972）。MSC公司：51-03 51-01 01A75号 01A55号 01A60型 2005年5月5日 51M10个 PDF格式BibTeX公司 XML格式
D.希尔伯特。；伯奈斯，P。 数学基础。第2版。（Grundlagen der Mathematik II。（2。Aufl.）。） （德语） Zbl 0211.00901号 模具德国数学研究所在Einzeldarstellungen。乐队50。柏林-海德堡-纽约：斯普林格-弗拉格。十四、 《美国法典》第561卷（1970年）。MSC公司：03-02 PDF格式BibTeX公司 XML格式
大卫·希尔伯特；伯奈斯，P。 Grundlagen der Mathematik公司。一、。 （德语） Zbl 0191.28402号 模具德国数学研究所在Einzeldarstellungen。公元40年。柏林-海德堡-纽约：斯普林格-弗拉格。xv，473 S.（1968年）。 审核人：W.劳滕贝格 MSC公司：01A75号 03-02 PDF格式BibTeX公司 XML格式 全文： 内政部 链接
大卫·希尔伯特 [保罗·伯奈斯] 几何基础。由Paul Bernays提供补充材料。第10版。（Grundlagen der Geometrie.Mit增补件von Paul Bernays.10。澳大利亚） （德语） Zbl 0153.49601号 斯图加特：B.G.Teubner 1968。七、 美国麻省理工学院271号129号院长。(1968).MSC公司：01A75号 01A55号 01A60型 51-03 51-01 PDF格式BibTeX公司 XML格式
伦纳德·纳尔逊 [威廉·阿克曼；保罗·伯奈斯；大卫·希尔伯特] Beiträge zur Philosophie der Mathematik数学哲学。Mit einführenden und ergänzenden Bemerkungen von Wilhelm Ackermann、Paul Bernays und David Hilbert。 （德语） Zbl 0087.00712号 法兰克福a.M.：弗拉格·芬特里希斯·勒本。125 S.（1959年）。 审核人：H.古根海默 MSC公司：00A30型 PDF格式BibTeX公司 XML格式
大卫·希尔伯特 [保罗·伯奈斯] 几何基础。第8版，由Paul Bernays修订并附有补充材料。（Grundlagen der Geometrie.8。澳大利亚。米特·雷维辛（Mit Revisionen und Ergänzungen von Paul Bernays） （德语） Zbl 0071.35803号 斯图加特：B.G.Teubner Verlagsgesellschaft VII，251 S.（1956）。MSC公司：01A75号 01A55号 01A60型 51-03 51-01 PDF格式BibTeX公司 XML格式
大卫·希尔伯特；伯奈斯，P。 Grundlagen der Mathematik公司。Bd.2。 （德语） Zbl 0020.19301号 模具德国数学研究所在Einzeldarstellungen mit besonder Berücksichtigung der Anwendungsgebebiete。公元50年。柏林：朱利叶斯·斯普林格。十二、 498 S.（1939）。MSC公司：03-02 PDF格式BibTeX公司 XML格式
D.希尔伯特。；伯奈斯，P。 Grundlagen der Mathematik公司。Bd.二。 （德语） JFM 65.0021.02型 XII+498南柏林，朱利叶斯·施普林格(德国数学研究所Einzeldarstellungen Bd.50）（1939年）。 审核人：Ackermann，W.，博士（Burgsteinfurt） PDF格式BibTeX公司 XML格式
大卫·希尔伯特 [O·布鲁门塔尔。；海林格，E。；伯奈斯，P。] Gesammelte Abhandlungen公司。背景3。分析。Grundlagen der Mathematik公司。Physik公司。Verschiedenes公司。Nebst einer Lebensgeschichte。 （德语） 兹宝利0013.05604 柏林：朱利叶斯·斯普林格。vii，435 S.，12图（1935）。 审核人：J.D.Tamarkin（罗德岛普罗维登斯） MSC公司：01A75号 PDF格式BibTeX公司 XML格式
大卫·希尔伯特；伯奈斯，P。 Grundlagen der Mathematik公司。背景1。 （德语） Zbl 0009.14501号 模具德国数学研究所在Einzeldarstellungen mit besonder Berücksichtigung der Anwendungsgebebiete。公元40年。柏林：朱利叶斯·斯普林格。xii，471 S.（1934年）。 审核人：A.Heyting（Enschede） MSC公司：03-02 PDF格式BibTeX公司 XML格式
D.希尔伯特。；伯奈斯，P。 Grundlagen der Mathematik公司。一、。 （德语） JFM 60.0017.02标准 模具德国数学研究所在Einzeldarstellungen mit besonder Berücksichtigung der Anwendungsgebebiete，Bd.40。柏林：J.Springer xii，471 S.（1934）。 审核人：Ackermann，W.，博士（Burgsteinfurt） MSC公司：03-02 PDF格式BibTeX公司 XML格式