Preservation theorems for two-variable logic

Grädel, Erich; Rosen, Eric

Weinheim / Wiley-VCH (1999) [Fachzeitschriftenartikel]

Mathematical logic quarterly : MLQ
Band: 45
Ausgabe: 3
Seite(n): 315-325

Identifikationsnummern