Qty:1
  • List Price: $109.00
  • Save: $24.85 (23%)
Only 1 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
Finite Model Theory and I... has been added to your Cart
+ $3.99 shipping
Used: Like New | Details
Sold by PBShop UK
Condition: Used: Like New
Comment: Used - Like New Book from multilingual publisher. Shipped from UK in 10 to 14 business days. Please check language within Amazon's description
Access codes and supplements are not guaranteed with used items.
Sell yours for a Gift Card
We'll buy it for $8.48
Learn More
Trade in now
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series) Hardcover – June 11, 2007

1 customer review
ISBN-13: 978-3540004288 ISBN-10: 3540004289 Edition: 2007th

Buy New
Price: $84.15
27 New from $50.88 15 Used from $66.16
Rent from Amazon Price New from Used from
Kindle
"Please retry"
$30.35
Hardcover
"Please retry"
$84.15
$50.88 $66.16
Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Hero Quick Promo
Save up to 90% on Textbooks
Rent textbooks, buy textbooks, or get up to 80% back when you sell us your books. Shop Now
$84.15 FREE Shipping. Only 1 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.

Editorial Reviews

Review

From the reviews:

"This book has its origins in a workshop held in Philadelphia in 1999 … . The chapters are of an expository nature, each one providing an excellent starting point to explore the research literature in the relevant topic. … I found it to be a more accessible introduction to the subject … and a useful starting point for graduate students entering the subject. … This will appeal … to those readers trained in classical traditions of logic who wish to approach the subject." (Anuj Dawar, Mathematical Reviews, Issue 2009 i)

From the Back Cover

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of, and hierarchies within, first order, second order, fixed point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics.

The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful technique for analyzing the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and tree-width, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research in finite model theory, and all readers will experience the excitement of a vibrant area of application of logic to computer science.

NO_CONTENT_IN_FEATURE
Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Series: Texts in Theoretical Computer Science. An EATCS Series
  • Hardcover: 437 pages
  • Publisher: Springer; 2007 edition (June 11, 2007)
  • Language: English
  • ISBN-10: 3540004289
  • ISBN-13: 978-3540004288
  • Product Dimensions: 9.3 x 6.5 x 0.8 inches
  • Shipping Weight: 1.5 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
  • Amazon Best Sellers Rank: #1,260,179 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

5 star
100%
4 star
0%
3 star
0%
2 star
0%
1 star
0%
See the customer review
Share your thoughts with other customers

Most Helpful Customer Reviews

0 of 2 people found the following review helpful By Ranko Skansi on July 1, 2014
Format: Hardcover Verified Purchase
The book is exactly what we expected. Furthermore, it arrived even sooner that it was declared.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
This item: Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Price: $84.15
Ships from and sold by Amazon.com

What Other Items Do Customers Buy After Viewing This Item?

Want to discover more products? Check out this page to see more: software engineering