Lindström, Per First order predicate logic with generalized quantifiers. (English) Zbl 1230.03072 Theoria 32, 186-195 (1966). Cited in 1 ReviewCited in 97 Documents MSC: 03C80 Logic with extra quantifiers and operators PDFBibTeX XMLCite \textit{P. Lindström}, Theoria 32, 186--195 (1966; Zbl 1230.03072)