000			00864nam a2200313Ia 4500
003			OSt
005			20230404154002.0
008			180620b2007 xxu||||| |||| 00| 0 eng d
020			_a9788184895032
040			_cJUIT, Solan
082			_a511.3 GRA
100			_aGradel, Eric
245			_aFinite Model Theory and its Applications _cby Erich Gradel
260			_aBerlin _bSpringer Verlag, Netherlands _c2007
300			_axi, 437p.
505			_a<p>Contents:</p> <p>1. Unifying Themes
650			_aConstraint databases
650			_aComputational complexity
650			_aFinite model theory
700			_aWeinstein, S.
700			_aVenema, Y.
700			_aVardi, M.Y.
700			_aSpencer, J.
700			_aMarx, M
700			_aLibkin, L
700			_aKolaitis, P.G.
906			_aaf1fe037ac10491901f5692a7672893b
942			_2ddc _cTB
999			_c47605 _d47605