Schwartz, J T profile picture

Schwartz, J T

Is this your author profile? Create an account to claim and customize it!

Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator