zbMath65.0021.02MaRDI QIDQ2590244
Paul Bernays, David Hilbert
Publication date: 1939 Published in: Grundlehren der Mathematischen Wissenschaften (Search for Journal in Brave)