In the period 1914–1922, a significant amount of work on logic was carried out in Göttingen. Beginning in 1914, Hilbert and his students, in particular Heinrich Behmann, were studying Whitehead and Russell’s Principia Mathematica, which resulted in Behmann’s dissertation (1918, see Mancosu 1999). In the Fall of 1917, Paul Bernays joined Hilbert in Göttingen and from then on worked as his assist...
