zbMath0089.16503MaRDI QIDQ3263850
Paul Bernays
Publication date: 1959
zbMATH Keywords
foundations of geometry, noneuclidean geometry