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

Bok av D. Cantone A. Ferro J. T. Schwartz