000			00542nam a2200193Ia 4500
008			161214s9999 xx 000 0 und d
020			_a3540212027 _c(hbk)
082			_223 _a511.3 _bLIB
100			_aLibkin, Leonid
245		0	_aElements of finite model theory
260			_aBerlin: _bSpringer-Verlag, _c2004
300			_axiv, 315 p.; _b: _c24 cm.
490			_aTexts in theoretical computer science
650			_aLibkin, Leonid
650			_aDatabase
650			_aFinite model theory
650			_aMathematical logic
942			_2ddc _cBK
999			_c5914 _d5914