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