zbMath0358.02035MaRDI QIDQ4133605
Valery Plisko
Publication date: 1976
Mathematics Subject Classification ID
03F55: Intuitionistic mathematics