Marketplace:
Books
Our Authors
Blog
About Us
Home
Our Authors
D. Cantone
D. Cantone
Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
A. Ferro, D. Cantone, J. T. Schwartz
More details
Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs; Technical report 374, May 1988
D. Cantone, J. Schwartz
More details
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator. No. 131
A. Ferro, D. Cantone, J. T. Schwartz
More details
Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators, Technical Report 373, May, 1988
D. Cantone
More details
Choose a marketplace
amazon.com (United States)
amazon.co.uk (United Kingdom)
amazon.de (Germany)
amazon.fr (France)