There are just four second-order quantifiers
From MaRDI portal
Publication:2264753
DOI10.1007/BF02787572zbMath0273.02009MaRDI QIDQ2264753
Publication date: 1973
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
DB lookup for MSC labels failed
Related Items