Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
ASIN: B013TAG696
Paperback: 46 pages
Dimensions: 8.5 x 0.1 x 11 inches
Weight: 6.1 ounces
Language: English