Boolean representation of bounded BCK-al
✍
Joan Gispert; Antoni Torrens
📂
Article
📅
2007
🏛
Springer
🌐
English
⚖ 421 KB