Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988
Price not available for United Kingdom
You can still browse on Amazon. Try another country above.
Book Details
Author(s)
D. Cantone
Publisher
Leopold Classic Library
ISBN / ASIN
B013I2EIC2
ISBN-13
978B013I2EIC4
Marketplace
United Kingdom 🇬🇧
