Decision procedures for elementary sublanguages of set theory.  VI. Multi-level syllogistic extended by the powerset operator.
By: By D. Cantone, A. Ferro, J.T. Schwartz.
Contributors: Ferro, A.; Schwartz, J. T.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1985
Place of publication: New York
Language: eng
Number of pages: 38