D. Cantone

Decision procedures for elementary sublanguages of set theory. XI. Multilevel syllogistic extended by some elementary map constructs

D. Cantone

$26.95

Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator

D. Cantone

$26.95

Decision Algorithms for Some Fragments of Analysis and Related Areas

D. Cantone

$29.95

Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator

D. Cantone

$18.15

Decision procedures for elementary sublanguages of set theory. X. Multilevel syllogistic extended by the singleton and powerset operators

D. Cantone

$26.95

Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs

D. Cantone

$26.95