Preservation theorems for two-variable logic

Grädel, Erich; Rosen, Eric

Weinheim : Wiley-VCH (1999)
Journal Article

In: Mathematical logic quarterly : MLQ
Volume: 45
Issue: 3
Page(s)/Article-Nr.: 315-325