Finite Model Theory (Springer Monographs in Mathematics) Book + PRICE WATCH * Amazon pricing is not included in price watch

Finite Model Theory (Springer Monographs in Mathematics) Book

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. This book also looks at important logic in this...Read More

from£39.96 | RRP: £67.99
* Excludes Voucher Code Discount Also available Used from £125.91
  • Product Description

    This is a thoroughly revised and enlarged second edition that 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. The book is written in such a way that the respective parts on model theory and descriptive complexity theory may be read independently.

  • 3540287876
  • 9783540287872
  • Heinz-Dieter Ebbinghaus, Jörg Flum
  • 6 October 2005
  • Springer
  • Hardcover (Book)
  • 360
  • 2nd ed. 1999. 2nd printing
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.