Title: Generalized quantifiers and computation
Subjects: Computer logic, Computer science, Mathematics, Programming languages (Electronic computers), Congresses, Computer science, mathematics, Formal languages, Logic, symbolic and mathematical, Set theory