£56.97

Springer Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

Price data last checked 22 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£57 today · previous high £57 · all-time low £57

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 69 days · 69 data points (no recent data)

Historical
Generating forecast…
£56.97 £56.94 £56.94 £56.95 £56.96 £56.97 £56.97 26 April 2026 13 May 2026 30 May 2026 16 June 2026 03 July 2026

Price Distribution

Price distribution over 69 days • 1 price levels

Days at Price
69 days 0 17 35 52 69 £57 Days at Price

Price Analysis

Most common price: £57 (69 days, 100.0%)

Price range: £57 - £57

Price levels: 1 different prices over 69 days

Description

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

Product Specifications

Format
paperback
Domain
Amazon UK
Release Date
30 October 2014
Listed Since
31 October 2014

Barcode

No barcode data available

Similar Products You Might Like

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
97% match

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£73.46 14 Jul 2026
A Course on Basic Model Theory
96% match

A Course on Basic Model Theory

Springer

£54.69 08 Jul 2026
A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)
96% match

A Guide to Classical and Modern Model Theory: 19 (Trends in Logic, 19)

Springer

£92.65 13 Jul 2026
Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)
96% match

Model-Theoretic Logics: 8 (Perspectives in Logic, Series Number 8)

Cambridge University Press

£124.51 02 Jul 2026
Bounded Variable Logics and Counting: A Study in Finite Models: 9 (Lecture Notes in Logic, Series Number 9)
96% match

Bounded Variable Logics and Counting: A Study in Finite Models: 9 (Lecture Notes in Logic, Series Number 9)

Cambridge University Press

£61.80 09 Jul 2026
Cambridge University Press - A Shorter Model Theory Textbook
96% match

Cambridge University Press - A Shorter Model Theory Textbook

Cambridge University Press

£59.16 24 Jul 2026
A Course in Model Theory: 40 (Lecture Notes in Logic, Series Number 40)
96% match

A Course in Model Theory: 40 (Lecture Notes in Logic, Series Number 40)

Cambridge University Press

£51.53 09 Jul 2026
Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
96% match

Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)

Springer

£78.22 05 Jul 2026
Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)
96% match

Modal Logic: 53 (Cambridge Tracts in Theoretical Computer Science, Series Number 53)

Cambridge University Press

£78.03 06 May 2026
Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)
96% match

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Springer

£52.29 02 Jul 2026
Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size
95% match

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Springer

£61.83 04 Jul 2026
Beyond First Order Model Theory, Volume I (Monographs and Research Notes in Mathematics)
95% match

Beyond First Order Model Theory, Volume I (Monographs and Research Notes in Mathematics)

CRC Press

£97.00 18 Jun 2026
Advances In Modal Logic, Volume 3
95% match

Advances In Modal Logic, Volume 3

World Scientific Publishing Company

£77.59 29 Jun 2026
Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)
95% match

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

CRC Press

£70.82 07 Jul 2026
Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)
95% match

Model Theory (Encyclopedia of Mathematics and its Applications): 42 (Encyclopedia of Mathematics and its Applications, Series Number 42)

Cambridge University Press

£192.11 22 Jul 2026
Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference
95% match

Mathematical Logic in Asia: Proceedings of the 9th Asian Logic Conference

World Scientific Publishing Company

£73.01 17 Jul 2026
Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)
95% match

Types, Tableaus, and Gödel’s God: 12 (Trends in Logic, 12)

Springer

£81.55 07 Jul 2026
Finitely Axiomatizable Theories (Siberian School of Algebra and Logic)
95% match

Finitely Axiomatizable Theories (Siberian School of Algebra and Logic)

Springer

£144.52 06 Jul 2026
Springer Mathematical Problems from Applied Logic I - Vol 4
95% match

Springer Mathematical Problems from Applied Logic I - Vol 4

Springer

£68.66 22 Jul 2026
Logical Foundations of Artificial Intelligence
95% match

Logical Foundations of Artificial Intelligence

Morgan Kaufmann

£49.99 02 Jul 2026
Logic for Applications (Texts in Computer Science)
95% match

Logic for Applications (Texts in Computer Science)

Springer

£74.84 13 Jun 2026
Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)
95% match

Multi-Dimensional Modal Logic: 4 (Applied Logic Series, 4)

Springer

£75.68 18 Jul 2026
First-Order Modal Logic: 277 (Synthese Library)
95% match

First-Order Modal Logic: 277 (Synthese Library)

Springer

£199.97 06 Jul 2026
Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)
95% match

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

North Holland

£115.00 14 Jun 2026