000			00488nam a2200169Ia 4500
008			161214s9999 xx 000 0 und d
020			_a9783540004288 _c(hbk)
082			_223 _a511.34 _bGRA
100			_aGradel, Erich
245		0	_aFinite model theory and its applications
260			_aBerlin: _bSpringer, _c2007
300			_axi, 437 p.; _bill.: _c24 cm.
490			_aTexts in theoretical computer science
650			_aMathematical models
650			_aModel theory
942			_2ddc _cBK
999			_c22195 _d22195