Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988
📄 Viewing lite version
Full site ›
⌛ 🇬🇧 United Kingdom pricing being fetched…
Prices will appear once fetched — usually within a few minutes.
View in:
🇺🇸 USA
Book Details
Author(s)D. Cantone
ISBN / ASINB013I2EIC2
ISBN-13978B013I2EIC4
MarketplaceUnited Kingdom 🇬🇧