zbMath0088.24802MaRDI QIDQ3261417
Arend Heyting
Publication date: 1958
zbMATH Keywords
philosophy and foundations of mathematics
Related Items