zbMath0276.02018MaRDI QIDQ4401423
Fritz Homagk
Publication date: 1970
Mathematics Subject Classification ID
03F55: Intuitionistic mathematics