Undecidability results on two-variable logics

Berlin ; Heidelberg / Springer (1999) [Fachzeitschriftenartikel]

Archive for mathematical logic
Band: 38
Seite(n): 313-354

Autorinnen und Autoren

Autorinnen und Autoren

Grädel, Erich
Otto, Martin
Rosen, E.

Identifikationsnummern