Metafinite model theory

Grädel, Erich; Gurevich, Yuri

Orlando, Fla : Academic Press [u.a.] (1998)
Fachzeitschriftenartikel

In: Information and computation
Band: 140
Heft: 1
Seite(n)/Artikel-Nr.: 26-81