CompBio & Bioinf @ UniUd

CompBio & Bioinf @ UniUd

Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact

Light Dark Automatic

Rstricted Formuale; Set Theory; Undecidability

Undecidability Results for Restricted Universally Quantified Formulae of Set Theory

© 2017-2021 University of Udine

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

Cite