Decidability results for classes of purely universal formulae and quantifiers elimination in Set Theory

Cantone D

Cutello V

POLICRITI, Alberto