Finite Model Theory (Perspectives in Mathematical Logic) Book + PRICE WATCH * Amazon pricing is not included in price watch

Finite Model Theory (Perspectives in Mathematical Logic) Book

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 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.Read More

from£121.50 | RRP: £46.00
* Excludes Voucher Code Discount Also available Used from £73.34
  • 3540657584
  • 9783540657583
  • H-.D. Ebbinghaus, Jorg Flum
  • 1 August 1999
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Paperback (Book)
  • 360
  • 2nd Revised edition
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.