Elements of finite model theory - Libkin, Leonid, 1965- (Berlin : Springer, 2004)
Keywords: matematika; modelování a simulace; mathematics; modeling and simulation; modeling a simulation