Short note: on the redundancy of axiom (
✍
Petr Cintula
📂
Article
📅
2005
🏛
Springer
🌐
English
⚖ 83 KB