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. 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
Write Your Review
Book rating:
All reviews appear after check with staff*
Add Author Information
All information appear after check with staff*
Choose a marketplace