{"product_id":"finite-model-theory-heinz-dieter-ebbinghaus-9783540287872","title":"Finite Model Theory: Second Edition","description":"\u003cp\u003eThis volume presents the main results of descriptive complexity theory: the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. Important logics in this context include fixed-point logics, transitive closure logics, and also certain infinitary languages. Other topics include DATALOG languages, quantifiers and oracles, 0-1 laws, and optimization and approximation problems. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently. This second edition is a thoroughly revised and enlarged version of the original text.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Heinz-Dieter Ebbinghaus, Jg Flum\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540287876\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540287872\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/06\/2005\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 360\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.47lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.48h x 6.50w x 1.03d","brand":"Heinz-Dieter Ebbinghaus","offers":[{"title":"Hardcover","offer_id":44057457328383,"sku":"9783540287872","price":199.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_b8b9a12f-2983-4ab0-b74e-e99778301307.jpg?v=1685047091","url":"https:\/\/www.whiterainbookhouse.com\/products\/finite-model-theory-heinz-dieter-ebbinghaus-9783540287872","provider":"WR Book House","version":"1.0","type":"link"}