Metafinite model theory

Grädel, Erich; Gurevich, Yuri

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

In: Information and computation
Volume: 140
Issue: 1
Page(s)/Article-Nr.: 26-81