zbMath0287.02018MaRDI QIDQ4773685
E. Wiedmer
Publication date: 1974
Mathematics Subject Classification ID
03F55: Intuitionistic mathematics