Publication:4955354
From MaRDI portal
zbMath0964.03035MaRDI QIDQ4955354
Publication date: 1 May 2001
03C80: Logic with extra quantifiers and operators
03C13: Model theory of finite structures
05D10: Ramsey theory
Related Items