£127.57

Springer Logical Foundations of Mathematics and Complexity Book

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

View at Amazon

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

It has never been this cheap. We have no record of a lower price.

£128 today · cheaper than every other day in the last 3 months

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

Historical
Generating forecast…
£127.57 £121.19 £123.74 £126.29 £128.85 £131.40 £133.95 09 July 2026 18 July 2026 27 July 2026 05 August 2026 15 August 2026

Price Distribution

Price distribution over 38 days • 1 price levels

Days at Price
38 days 0 10 19 29 38 £128 Days at Price

Price Analysis

Most common price: £128 (38 days, 100.0%)

Price range: £128 - £128

Price levels: 1 different prices over 38 days

Description

Explore the deep connection between logic and computational complexity with this Springer monograph. This book covers a wide range of results in logic and set theory that are necessary for understanding the foundations of mathematics. It also examines results in computational complexity and the interdisciplinary field of proof complexity. The author explains how these different areas connect and provides insight into the most fundamental problems and the best ways to approach them. This text serves as a gentle introduction for those looking to understand how complexity is as important as other logical foundations. It is an essential resource for students and researchers interested in mathematical logic and the intersection of theory and computation.

Key Features

This Springer monograph covers a broad spectrum of results in logic and set theory relevant to mathematical foundations.

The text explores computational complexity and the interdisciplinary area of proof complexity.

Learn how logic and complexity connect to address the most fundamental problems in mathematics.

This book provides a gentle introduction to the logical foundations of mathematics and computational complexity.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
31 May 2013
Listed Since
08 February 2013

Barcode

No barcode data available

Similar Products You Might Like

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)
97% match

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

Springer

£118.54 19 Aug 2026
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
97% match

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

Springer

£39.77 02 Oct 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
97% match

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

Springer

£108.01 29 Aug 2026
Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)
96% match

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

Cambridge University Press

£50.35 11 Sep 2026
Turing Computability: Theory and Applications (Theory and Applications of Computability)
96% match

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Springer

£47.12 13 Sep 2026
An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)
96% match

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Springer

£59.91 13 Aug 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
96% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£39.77 09 Sep 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£60.00 08 Sep 2026
An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)
96% match

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Springer

£50.91 15 Aug 2026
Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)
96% match

Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997: 259 ... Lecture Note Series, Series Number 259)

Cambridge University Press

£69.99 22 Sep 2026
Modern Mathematical Logic (Cambridge Mathematical Textbooks)
96% match

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Cambridge University Press

£47.74 08 Sep 2026
Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990 (ESPRIT Basic Research Series)
96% match

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

Springer

£74.28 19 Sep 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£36.89 20 Jul 2026
Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)
96% match

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

Springer

£49.76 11 Sep 2026
Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)
96% match

Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9–18, 1995: 11 (Lecture Notes in Logic, Series Number 11)

Cambridge University Press

£49.99 24 Sep 2026
Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)
96% match

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Chapman and Hall/CRC

£47.28 15 Aug 2026
Proofs and Computations (Perspectives in Logic)
96% match

Proofs and Computations (Perspectives in Logic)

Cambridge University Press

£68.57 07 Oct 2026
Logic of Computation: SER F / v.157 (NATO ASI)
96% match

Logic of Computation: SER F / v.157 (NATO ASI)

Springer

£95.20 17 Sep 2026
Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)
96% match

Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics: 57 (Trends in Logic, 57)

Springer

£85.45 14 Aug 2026
Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)
96% match

Limits of Mathematics: A Journey Through the Key Areas of Mathematical Logic: 19 (Mathematics Study Resources, 19)

Springer

£37.09 05 Oct 2026
Mathematical Logic and Computation
96% match

Mathematical Logic and Computation

Cambridge University Press

£56.42 19 Aug 2026
Classical Mathematical Logic – The Semantic Foundations of Logic
96% match

Classical Mathematical Logic – The Semantic Foundations of Logic

Princeton University Press

£52.36 27 Jul 2026
Logic for Computer Science and Artificial Intelligence
96% match

Logic for Computer Science and Artificial Intelligence

Wiley

£91.12 01 Oct 2026
An Introduction to the Language of Mathematics
96% match

An Introduction to the Language of Mathematics

Springer

£39.77 23 Sep 2026