Metafinite model theory

Grädel, Erich; Gurevich, Yuri

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

Information and computation
Band: 140
Ausgabe: 1
Seite(n): 26-81

Identifikationsnummern