A representation theorem for languages with generalized quantifiers through back-and-forth methods

From MaRDI portal
(Redirected from Publication:752702)