Decision Procedures for Elementary Sublanguages of Set Theory. VI. Multi-Level Syllogistic Extended by the Powerset Operator

D. Cantone , Alfredo Ferro , Jacob T. Schwartz