Wirth, Claus-Peter Gisbert Hasenjaeger and a most interesting unpublished draft for Hilbert and Bernays’ “Grundlagen der Mathematik”. (English) Zbl 1532.03003 Krömer, Ralf (ed.) et al., Siegener Beiträge zur Geschichte und Philosophie der Mathematik (SieB) 14. Siegen: universi – Universitaetsverlag Siegen. Siegen. Beitr. Gesch. Philos. Math. 14, 1-56 (2021). Reviewer: Franz Lemmermeyer (Jagstzell) MSC: 03-03 01A60 × Cite Format Result Cite Review PDF
Schubring, Gert Searches for the origins of the epistemological concept of model in mathematics. (English) Zbl 1390.00051 Arch. Hist. Exact Sci. 71, No. 3, 245-278 (2017). Reviewer: Volker Peckhaus (Paderborn) MSC: 00A30 01A55 01A60 01A90 51-03 × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF
Kalmár, László Über die Axiomatisierbarkeit des Aussagenkalküls. (German) Zbl 0014.19401 Acta Litt. Sci. Szeged 7, 222-243 (1935). Reviewer: H. B. Curry (State College, Pa.) MSC: 03-XX × Cite Format Result Cite Review PDF
Huntington, Edward V. The inter-deducibility of the new Hilbert-Bernays theory and Principia mathematica. (English) Zbl 0012.00102 Ann. Math. (2) 36, 313-324 (1935). Reviewer: Arnold Schmidt (Göttingen) MSC: 03-XX × Cite Format Result Cite Review PDF Full Text: DOI
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 × Cite Format Result Cite Review PDF