Finite Model Theory: Second Edition (Springer Monographs in Mathematics) - Image 1

£98.45

Springer Finite Model Theory: Second Edition (Springer Monographs in Mathematics)

Name: Finite Model Theory: Second Edition (Springer Monographs in Mathematics)
Brand: Springer
Price: 98.45 GBP
Availability: InStock

Computer Science

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

£98 today · all-time low £97 (May 2026) · usually £98

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 66 days · 66 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 66 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £98 (37 days, 56.1%)

Price range: £97 - £102

Price levels: 4 different prices over 66 days

Description

Finite model theory, the model theory of finite structures, has roots in clas sical model theory; however, its systematic development was strongly influ enced by research and questions of complexity theory and of database theory. Model theory or the theory of models, as it was first named by Tarski in 1954, may be considered as the part of the semantics of formalized languages that is concerned with the interplay between the syntactic structure of an axiom system on the one hand and (algebraic, settheoretic, . . . ) properties of its models on the other hand. As it turned out, first-order language (we mostly speak of first-order logic) became the most prominent language in this respect, the reason being that it obeys some fundamental principles such as the compactness theorem and the completeness theorem. These principles are valuable modeltheoretic tools and, at the same time, reflect the expressive weakness of first-order logic. This weakness is the breeding ground for the freedomwhich modeltheoretic methods rest upon. By compactness, any first-order axiom system either has only finite models of limited cardinality or has infinite models. The first case is trivial because finitely many finite structures can explicitly be described by a first-order sentence. As model theory usually considers all models of an axiom system, modeltheorists were thus led to the second case, that is, to infinite structures. In fact, classical model theory of first-order logic and its generalizations to stronger languages live in the realm of the infinite.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 3540287876
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 06 October 2005
Listed Since: 11 December 2006

Barcode

No barcode data available

Springer Finite Model Theory: Second Edition (Springer Monographs in Mathematics)

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Oxford Mathematical Logic - Oxford Texts in Logic 3 Book

Logic and Structure (Universitext)

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

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

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Introduction to Model Theory: 15 (Algebra, Logic and Applications)

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

Cambridge University Press - A Shorter Model Theory Textbook

Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Displaying Modal Logic: 3 (Trends in Logic, 3)

Philosophy and Model Theory

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

A First Journey through Logic (Student Mathematical Library)

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Model Theory

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)