zbMath0343.02021MaRDI QIDQ4110985
Vladimir Lifschitz
Publication date: 1973
Mathematics Subject Classification ID
03F55: Intuitionistic mathematics