View of Decidability results for classes of purely universal formulae and quantifiers elimination in set theory

Return to Article Details Decidability results for classes of purely universal formulae and quantifiers elimination in set theory Download Download PDF