zbMath0276.02017MaRDI QIDQ4401422
E. Wiedmer
Publication date: 1974
Mathematics Subject Classification ID
03F55: Intuitionistic mathematics