£56.24

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

Price data last checked 105 day(s) ago - refreshing...

View at Amazon

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

About as cheap as it gets. The only time it was cheaper was 2 years ago.

£56 today · all-time low £55 (Jun 2024) · usually the usual

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 626 days • 626 data points (No recent data available)

Historical
Generating forecast...
£56.28 £54.68 £55.03 £55.38 £55.73 £56.08 £56.43 10 June 2024 13 November 2024 18 April 2025 21 September 2025 25 February 2026

Price Distribution

Price distribution over 626 days • 2 price levels

Days at Price
Current Price
42 days 584 days · current 0 146 292 438 584 £55 £56 Days at Price

Price Analysis

Most common price: £56 (584 days, 93.3%)

Price range: £55 - £56

Price levels: 2 different prices over 626 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 Apr 2026
A Course on Basic Model Theory
96% match

A Course on Basic Model Theory

Springer

£54.12 08 Mar 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

£106.06 10 Apr 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

£118.40 23 Feb 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

£65.88 09 Mar 2026
A Shorter Model Theory
96% match

A Shorter Model Theory

Cambridge University Press

£57.16 18 Mar 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

£33.38 09 Mar 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

£77.03 28 Feb 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

£48.61 21 Feb 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.26 26 Feb 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 24 Jan 2026
Advances In Modal Logic, Volume 3
95% match

Advances In Modal Logic, Volume 3

World Scientific Publishing Company

£50.00 14 Feb 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.25 03 Mar 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

£80.97 06 Mar 2026
Finitely Axiomatizable Theories (Siberian School of Algebra and Logic)
95% match

Finitely Axiomatizable Theories (Siberian School of Algebra and Logic)

Springer

£143.63 03 Mar 2026
Logical Foundations of Artificial Intelligence
95% match

Logical Foundations of Artificial Intelligence

Morgan Kaufmann

£49.99 20 Feb 2026
Logic for Applications (Texts in Computer Science)
95% match

Logic for Applications (Texts in Computer Science)

Springer

£108.11 11 Jan 2026
First-Order Modal Logic: 277 (Synthese Library)
95% match

First-Order Modal Logic: 277 (Synthese Library)

Springer

£199.97 02 Mar 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 12 Jan 2026
Mathematical Logic and Computation
95% match

Mathematical Logic and Computation

£55.89 13 Jan 2026
Model Theory
95% match

Model Theory

North Holland

£43.99 20 Feb 2026
Fine Structure and Iteration Trees: 3 (Lecture Notes in Logic, Series Number 3)
95% match

Fine Structure and Iteration Trees: 3 (Lecture Notes in Logic, Series Number 3)

Cambridge University Press

£55.20 19 Feb 2026
Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)
95% match

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Cambridge University Press

£61.99 22 Feb 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
95% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£94.38 12 Jan 2026