Decidability of the decision problem for Boolean set theory with the unordered Cartesian product operator
published by Pietro Ursino
in 2021
and research's language is
English
Download
Abstract in English
We solve the decidability problem for Boolean Set Theory with unordered cartesian product.
Download