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

£73.46

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

Name: Elements of Finite Model Theory (Texts in Theoretical Computer Science. An EATCS Series)
Brand: Springer
Price: 73.46 GBP
Availability: InStock

Architecture & Microprocessors

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

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

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

Historical

Generating forecast…

Price Distribution

Price distribution over 80 days • 1 price levels

Days at Price

Price Analysis

Most common price: £73 (80 days, 100.0%)

Price range: £73 - £73

Price levels: 1 different prices over 80 days

Description

This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraïssé games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3642059481
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 December 2010
Listed Since: 13 June 2010

Barcode

No barcode data available

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

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Logic and Language Models for Computer Science: Third Edition

Mathematical Foundations of Computer Science 1998: 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998: 1450 (Lecture Notes in Computer Science, 1450)

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

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

Computational Logic: 165 (NATO ASI Subseries F:, 165)

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

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

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

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

Logic And Language Models For Computer Science (Third Edition)

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume Ii: Foundations Of Mathematics: 2

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

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

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

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

Graph Structure and Monadic Second-Order Logic: A Language-Theoretic Approach: 138 (Encyclopedia of Mathematics and its Applications, Series Number 138)

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)

Cambridge University Press - A Shorter Model Theory Textbook

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

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

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

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday: 4060 (Lecture Notes in Computer Science, 4060)