2
by Jarmużek, Tomasz
Published 2021
Peter Lang International Academic Publishers
... described are based on Set Theory. The tableau rule was reduced to an ordered n-tuple of sets of expressions...