Topological Duality for Distributive Lattices: Theory and Applications: 61 (Cambridge Tracts in Theoretical Computer Science, Series Number 61) - Image 1

£59.09

Cambridge University Press Topological Duality for Distributive Lattices: Theory and Applications: 61 (Cambridge Tracts in Theoretical Computer Science, Series Number 61)

Name: Topological Duality for Distributive Lattices: Theory and Applications: 61 (Cambridge Tracts in Theoretical Computer Science, Series Number 61)
Brand: Cambridge University Press
Price: 59.09 GBP
Availability: InStock

Mathematical Logic

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

£59 today · all-time low £56 (Apr 2026) · usually £59

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

Historical

Generating forecast...

Price Distribution

Price distribution over 75 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £59 (45 days, 60.0%)

Price range: £56 - £59

Price levels: 2 different prices over 75 days

Description

Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1009349694
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 07 March 2024
Listed Since: 10 September 2023

Barcode

No barcode data available

Cambridge University Press Topological Duality for Distributive Lattices: Theory and Applications: 61 (Cambridge Tracts in Theoretical Computer Science, Series Number 61)

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

Natural Dualities for the Working Algebraist: 57 (Cambridge Studies in Advanced Mathematics, Series Number 57)

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

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

Developments in Language Theory: 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings: 3572 (Lecture Notes in Computer Science, 3572)

Dimension Groups and Dynamical Systems: Substitutions, Bratteli Diagrams and Cantor Systems: 196 (Cambridge Studies in Advanced Mathematics, Series Number 196)

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification (Texts in Computer Science)

Mathematical Foundations of Computer Science

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Continuous Lattices and Domains: 93 (Encyclopedia of Mathematics and its Applications, Series Number 93)

Descriptive Complexity, Canonisation, and Definable Graph Structure Theory: 47 (Lecture Notes in Logic, Series Number 47)

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 2, 3-Multi-graphs and 2-Multi-tournaments: 54 (Lecture Notes in Logic, Series Number 54)

Heyting Algebras: Duality Theory: 50 (Trends in Logic, 50)

Springer - Reflections on the Foundations of Mathematics 407

Invariant Descriptive Set Theory (Pure and Applied Mathematics)

Derivation and Computation: Taking the Curry-Howard Correspondence Seriously: 51 (Cambridge Tracts in Theoretical Computer Science, Series Number 51)

The Discrete Mathematical Charms of Paul Erdos: A Simple Introduction

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts: 407 (Synthese Library, 407)

Stable Domination and Independence in Algebraically Closed Valued Fields: 30 (Lecture Notes in Logic, Series Number 30)

Springer - Reverse Mathematics: Problems, Reductions, and Proofs

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs: 53 (Lecture Notes in Logic, Series Number 53)

Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)

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

Basic Simple Type Theory: 42 (Cambridge Tracts in Theoretical Computer Science, Series Number 42)

Invariant Descriptive Set Theory (Pure and Applied Mathematics)