Bernays, Paul Nachwort (zu den beiden vorstehend referierten Arbeiten). (German) Zbl 0389.03003 Jahresber. Dtsch. Math.-Ver. 81, 22-24 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03-03 History of mathematical logic and foundations 03F99 Proof theory and constructive mathematics 03E99 Set theory 01A60 History of mathematics in the 20th century PDF BibTeX XML Cite \textit{P. Bernays}, Jahresber. Dtsch. Math.-Ver. 81, 22--24 (1978; Zbl 0389.03003)