Ferro, A profile picture

Ferro, A

Is this your author profile? Create an account to claim and customize it!

Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs
Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator