zbMath0273.94042MaRDI QIDQ5181243
Vadim V. Glagolev
Publication date: 1973
Mathematics Subject Classification ID
Classical propositional logic (03B05)
Related Items