Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator. No. 131
ASIN: B013L7Q17O
Paperback: 70 pages
Dimensions: 8.5 x 0.2 x 11 inches
Weight: 8.3 ounces
Language: English