V Cutello

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

Published with Wowchemy — the free, open source website builder that empowers creators.