Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory. The book presents the main results of descriptive complexity theory, that is, the connections between axiomatizability of classes of finite structures and their complexity with respect to time and space bounds. The logics that are important in this context include fixed- point logics, transitive closure logics, and also certain infinitary languages; their model theory is studied in full detail. 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 resp. parts on model theory and descriptive complexity theory may be read independently.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Affordable Collectibles
MO, U.S.A.

Sale & Shipping Terms

Terms of Sale

I prefer immediate checkout through abebooks. If you need to arrange for another payment method please email me for details..
Returns for full purchase price refund are accepted if book is not as described. Unless specifically noted, all titles were pre-owned in some manner even if they appear unused. I try to note all possible defect details such as any marks, damage, odors, etc..
I ship daily except Sundays or other Postal Holidays.

Shipping Terms

Most US packages include free confirmation/tracking. All books are wrapped and packaged carefully in bubble envelopes or boxes padded w/peanuts. Expedited International mail is required on heavy oversize books.

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is exceptionally large and heavy, we may contact you to let you know extra shipping is requested.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 4.00	US$ 9.95

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.