zbMath0384.03041MaRDI QIDQ4163216
Ashvinikumar
Publication date: 1975
Mathematics Subject Classification ID
03F55: Intuitionistic mathematics