Preservation theorems for two-variable logic

Grädel, Erich; Rosen, Eric

Weinheim : Wiley-VCH (1999)
Fachzeitschriftenartikel

In: Mathematical logic quarterly : MLQ
Band: 45
Heft: 3
Seite(n)/Artikel-Nr.: 315-325

Identifikationsnummern