Preservation theorems for two-variable logic

Grädel, Erich; Rosen, Eric

Weinheim / Wiley-VCH (1999) [Journal Article]

Mathematical logic quarterly : MLQ
Volume: 45
Issue: 3
Page(s): 315-325

Identifier