Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs; Technical report 374, May 1988
ASIN: B013QM23FI
Paperback: 42 pages
Dimensions: 8.5 x 0.1 x 11 inches
Weight: 5.8 ounces
Language: English