Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988

Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988

ASIN: B013I2EIC2
Paperback: 56 pages
Dimensions: 8.5 x 0.1 x 11 inches
Weight: 7 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