Hilbert, David; Bernays, Paul Gabbay, Dov (ed.); Gabbay, Michael (ed.); Siekmann, Jörg (ed.); Wirth, Claus-Peter (ed.); Sieg, Wilfried (ed.) Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and §§1–2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter “Hilbert’s proof theory” by Wilfried Sieg. Dual English-German text. (German, English) Zbl 1283.03005 London: College Publications (ISBN 978-1-84890-033-2). lxiii, 170 p. (2011). MSC: 03-03 03-02 01A75 03B30 03Fxx PDF BibTeX XML Cite \textit{D. Hilbert} et al., Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and \S\S1--2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter ``Hilbert's proof theory'' by Wilfried Sieg. Dual English-German text. London: College Publications (2011; Zbl 1283.03005) OpenURL
Hilbert, D.; Bernays, P. Foundations of mathematics. 1. Translated from the second (1968) German edition by François Gaillard and Marcel Guillaume. (Fondements des mathématiques. 1.) (French) Zbl 1019.01014 Paris: L’Harmattan. 607 p. (2001). MSC: 01A75 03-03 PDF BibTeX XML Cite \textit{D. Hilbert} and \textit{P. Bernays}, Fondements des mathématiques. 1. Paris: L'Harmattan (2001; Zbl 1019.01014) OpenURL
Hilbert, D.; Bernays, P. Foundations of mathematics. 2. Translated from the second (1970) German edition by François Gaillard, Eugène Guillaume and Marcel Guillaume. (Fondements des mathématiques. 2.) (French) Zbl 1019.01015 Paris: L’Harmattan. 624 p. (2001). MSC: 01A75 03-03 PDF BibTeX XML Cite \textit{D. Hilbert} and \textit{P. Bernays}, Fondements des mathématiques. 2. Paris: L'Harmattan (2001; Zbl 1019.01015) OpenURL
Hilbert, David [Bernays, Paul; Toepell, Michael; Kiechle, Hubert; Kreuzer, Alexander; Wefelscheid, Heinrich] Foundations of geometry. With supplementary material by Paul Bernays. With contributions by Michael Toepell, Hubert Kiechle, Alexander Kreuzer and Heinrich Wefelscheid. Ed. and with appendixes by Michael Toepell. 14. Aufl. (Grundlagen der Geometrie. Mit Supplementen von Paul Bernays. Mit Beiträgen von Michael Toepell, Hubert Kiechle, Alexander Kreuzer and Heinrich Wefelscheid. Herausgegeben und mit Anhängen von Michael Toepell.) (German) Zbl 0933.01031 Teubner-Archiv zur Mathematik. Supplement. 6. Stuttgart: B. G. Teubner. xxiii, 408 S. (1999). Reviewer: Reinhard Siegmund-Schultze (Berlin) MSC: 01A75 51-03 53-01 51A05 51M15 PDF BibTeX XML Cite \textit{D. Hilbert}, Grundlagen der Geometrie. Mit Supplementen von Paul Bernays. Mit Beiträgen von Michael Toepell, Hubert Kiechle, Alexander Kreuzer and Heinrich Wefelscheid. Herausgegeben und mit Anhängen von Michael Toepell. 14. Aufl. Stuttgart: B. G. Teubner (1999; Zbl 0933.01031) OpenURL
Hilbert, David [Bernays, P.] Natur und mathematisches Erkennen. Vorlesung von Professor Hilbert. Ausgearbeitet von P. Bernays. Herbst-Semester 1919. (Natur und mathematisches Erkennen. Vorlesung von Professor Hilbert. Ausgearbeitet von P. Bernays. Herbst-Semester 1919.) (German) Zbl 0833.01036 Göttingen: Univ. Göttingen, Math. Inst. 117 S. (1989). MSC: 01A75 00A79 01-01 PDF BibTeX XML Cite \textit{D. Hilbert}, Natur und mathematisches Erkennen. Vorlesung von Professor Hilbert. Ausgearbeitet von P. Bernays. Herbst-Semester 1919. Göttingen: Univ. Göttingen, Math. Inst. (1989; Zbl 0833.01036) OpenURL
Hilbert, David [Bernays, Paul] Foundations of geometry. With supplementary material by Paul Bernays. 13th ed. (Grundlagen der Geometrie. Mit Supplementen von Paul Bernays. 13. Aufl.) (German) Zbl 0651.51001 Teubner Studienbücher: Mathematik. Stuttgart: B. G. Teubner. VII, 271 S.; DM 32.00 (1987). MSC: 51-03 01A75 51-01 01A60 01A55 51A05 51M15 PDF BibTeX XML OpenURL
Benacerraf, Paul (ed.); Putnam, Hilary (ed.) [Carnap, R.; Heyting, A.; von Neumann, J.; Brouwer, L. E. J.; Dummett, M.; Frege, G.; Russell, B.; Hilbert, D.; Curry, H. B.; Kreisel, Georg; Bernays, P.; Benacerraf, P.; Putnam, H.; Ayer, A. J.; Quine, W. V.; Hempel, C. G.; Poincaré, H.; Gödel, K.; Boolos, G.; Parsons, C.; Wang, Hao] Philosophy of mathematics. Selected readings. 2nd ed. (English) Zbl 0548.03002 Cambridge etc.: Cambridge University Press. viii, 600 p. hbk: £30.00; $ 39.50; pbk: £10.95; $ 18.95 (1983). Reviewer: Ilkka Niiniluoto (Helsinki) MSC: 03-03 03A05 00A30 01A75 00B10 01A60 PDF BibTeX XML OpenURL
Hilbert, D.; Bernays, P. Foundations of mathematics. Logical calculi and the formalization of arithmetic. (Osnovaniya matematiki. Logicheskie ischisleniya i formalizatsiya arifmetiki). Transl. from the German. Russian transl. ed. by S. I. Adyan. 2nd ed. (Russian) Zbl 0518.03001 Seriya: ”Matematicheskaya Logika i Osnovaniya Matematiki”. Moskva: “Nauka”. 556 p. (1982). MSC: 03-02 03Fxx 03F30 03F50 03F99 PDF BibTeX XML OpenURL
Hilbert, D.; Bernays, P. [Adyan, S. I.] Foundations of mathematics. Logical calculi and the formalization of arithmetic. (Osnovaniya matematiki. Logicheskie ischisleniya i formalizatsiya arifmetiki). Transl. from the German by N. M. Nagornyj. Russian translation ed. and with a preface by S. I. Adyan. (Russian) Zbl 0478.03002 Matematicheskaya Logika i Osnovaniya Matematiki. Moskva: “Nauka”. 558 p. R. 2.70 (1979). MSC: 03-02 03Fxx 03F30 03F50 03F99 PDF BibTeX XML OpenURL
Hilbert, David [Bernays, Paul] Foundations of geometry. With supplementary material by Paul Bernays. 11th ed. (Grundlagen der Geometrie. Mit Supplementen von Paul Bernays. 11. Aufl.) (German) Zbl 0246.50001 Teubner Studienbücher. Mathematik. Stuttgart: B. G. Teubner. VII, 271 S. mit 129 Abb. DM 16.80 (1972). MSC: 51-03 51-01 01A75 01A55 01A60 51M05 51M10 PDF BibTeX XML OpenURL
Hilbert, D.; Bernays, P. Foundations of mathematics. 2nd ed. (Grundlagen der Mathematik II. (2. Aufl.).) (German) Zbl 0211.00901 Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Band 50. Berlin-Heidelberg-New York: Springer-Verlag. XIV, 561 S. (1970). MSC: 03-02 PDF BibTeX XML OpenURL
Hilbert, David; Bernays, P. Grundlagen der Mathematik. I. (German) Zbl 0191.28402 Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Bd. 40. Berlin-Heidelberg-New York: Springer-Verlag. xv, 473 S. (1968). Reviewer: W. Rautenberg MSC: 01A75 03-02 PDF BibTeX XML Full Text: Link OpenURL
Hilbert, David [Bernays, Paul] Foundations of geometry. With supplementary material by Paul Bernays. 10th ed. (Grundlagen der Geometrie. Mit Supplementen von Paul Bernays. 10. Aufl.) (German) Zbl 0153.49601 Stuttgart: B.G. Teubner 1968. VII, 271 S. mit 129 Abb. (1968). MSC: 01A75 01A55 01A60 51-03 51-01 PDF BibTeX XML OpenURL
Nelson, Leonard [Ackermann, Wilhelm; Bernays, Paul; Hilbert, David] Contributions to the Philosophy of Mathematics. With introductory and supplementary remarks by Wilhelm Ackermann, Paul Bernays and David Hilbert. (Beiträge zur Philosophie der Mathematik. Mit einführenden und ergänzenden Bemerkungen von Wilhelm Ackermann, Paul Bernays und David Hilbert.) (German) Zbl 0087.00712 Frankfurt a. M.: Verlag Öffentliches Leben. 125 S. (1959). Reviewer: Heinrich Guggenheimer (Kfar Yona) PDF BibTeX XML OpenURL
Hilbert, David [Bernays, Paul] Foundations of geometry. 8th ed. Revised and with supplementary material by Paul Bernays. (Grundlagen der Geometrie. 8. Aufl. Mit Revisionen und Ergänzungen von Paul Bernays.) (German) Zbl 0071.35803 Stuttgart: B. G. Teubner Verlagsgesellschaft VII, 251 S. (1956). MSC: 01A75 01A55 01A60 51-03 51-01 PDF BibTeX XML OpenURL
Hilbert, David; Bernays, P. Grundlagen der Mathematik. Bd. 2. (German) Zbl 0020.19301 Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Bd. 50. Berlin: Julius Springer. XII, 498 S. (1939). MSC: 03-02 PDF BibTeX XML OpenURL
Hilbert, D.; Bernays, P. Grundlagen der Mathematik. Bd. II. (German) JFM 65.0021.02 XII + 498 S. Berlin, Julius Springer (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Bd. 50) (1939). Reviewer: Ackermann, W., Dr. (Burgsteinfurt) PDF BibTeX XML OpenURL
Hilbert, David [Blumenthal, O.; Hellinger, E.; Bernays, P.] Gesammelte Abhandlungen. Bd. 3. Analysis. Grundlagen der Mathematik. Physik. Verschiedenes. Nebst einer Lebensgeschichte. (German) Zbl 0013.05604 Berlin: Julius Springer. vii, 435 S., 12 Fig. (1935). Reviewer: J. D. Tamarkin (Providence, R.I.) MSC: 01A75 PDF BibTeX XML OpenURL
Hilbert, David; Bernays, P. Grundlagen der Mathematik. Bd. 1. (German) Zbl 0009.14501 Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete. Bd. 40. Berlin: Julius Springer. xii, 471 S. (1934). Reviewer: A. Heyting (Enschede) MSC: 03-02 PDF BibTeX XML OpenURL
Hilbert, D.; Bernays, P. Grundlagen der Mathematik. I. (German) JFM 60.0017.02 Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete, Bd. 40. Berlin: J. Springer xii, 471 S. (1934). Reviewer: Ackermann, W., Dr. (Burgsteinfurt) MSC: 03-02 PDF BibTeX XML OpenURL