residuated Boolean algebra (Q7315522)
Language:
other details

External Links
(P646) /m/02wvmtp