Quantifier Alternation in First-Order Formulas with Infinite Spectra
Crossref DOI link: https://doi.org/10.1134/S003294601704007X
Published Online: 2017-04-15
Published Print: 2017-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhukovskii, M. E.
License valid from 2017-04-15