Elements of finite model theory - Libkin, Leonid, 1965- (Berlin : Springer-Verlag, 2004)
Obsahuje bibliografii a rejstřík
Keywords: matematická logika; teorie modelů; mathematical logic; model theory; monografie; monographs