zbMath0054.02404MaRDI QIDQ5825294
Ernst Witt
Publication date: 1951
zbMATH Keywords
intuitionistic mathematics
Mathematics Subject Classification ID
00A05: Mathematics in general