£105.06

Cambridge University Press Proof Complexity: 170 (Encyclopedia of Mathematics and its Applications, Series Number 170)

Price data last checked 25 day(s) ago - will refresh soon

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.

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

Historical
Generating forecast…
£125.25 £103.04 £107.89 £112.73 £117.58 £122.42 £127.27 26 April 2026 12 May 2026 28 May 2026 13 June 2026 30 June 2026

Price Distribution

Price distribution over 66 days • 2 price levels

Days at Price
Current Price
56 days · current 10 days 0 14 28 42 56 £105 £125 Days at Price

Price Analysis

Most common price: £105 (56 days, 84.8%)

Price range: £105 - £125

Price levels: 2 different prices over 66 days

Description

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various topics held together loosely by a few notions, and it favors more generalizable statements. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail. However, upper bounds are not neglected: this book also explores the relations between bounded arithmetic theories and proof systems and how they can be used to prove upper bounds on lengths of proofs and simulations among proof systems. It goes on to discuss topics that transcend specific proof systems, allowing for deeper understanding of the fundamental problems of the subject.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
28 March 2019
Listed Since
30 June 2018

Barcode

No barcode data available

Similar Products You Might Like

How to Prove It: A Structured Approach
97% match

How to Prove It: A Structured Approach

Cambridge University Press

£91.99 16 Jun 2026
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy
97% match

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

World Scientific Publishing Company

£59.74 09 Jul 2026
Understanding Mathematical Proof
97% match

Understanding Mathematical Proof

CRC Press

£40.95 15 Jul 2026
Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)
97% match

Handbook of Proof Theory (Volume 137) (Studies in Logic and the Foundations of Mathematics, Volume 137)

Elsevier

£113.69 02 Jul 2026
Proofs 101: An Introduction to Formal Mathematics
97% match

Proofs 101: An Introduction to Formal Mathematics

CRC Press

£53.32 09 May 2026
Proof Technology in Mathematics Research and Teaching: 14 (Mathematics Education in the Digital Era, 14)
97% match

Proof Technology in Mathematics Research and Teaching: 14 (Mathematics Education in the Digital Era, 14)

Springer

£106.59 17 Jul 2026
Proofs and Ideas: A Prelude to Advanced Mathematics (AMS/MAA Textbooks)
97% match

Proofs and Ideas: A Prelude to Advanced Mathematics (AMS/MAA Textbooks)

£73.00 08 May 2026
Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic, 6)
97% match

Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic, 6)

De Gruyter

£57.05 24 Jul 2026
Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series)
97% match

Teaching and Learning Proof Across the Grades: A K-16 Perspective (Studies in Mathematical Thinking and Learning Series)

Routledge

£55.09 18 Jul 2026
Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)
97% match

Introduction to Mathematical Proofs: A Transition to Advanced Mathematics: 26 (Textbooks in Mathematics)

CRC Press

£80.00 02 Jul 2026
Proof and Computation: 139 (NATO ASI Subseries F:, 139)
97% match

Proof and Computation: 139 (NATO ASI Subseries F:, 139)

Springer

£77.89 04 Jul 2026
Proof Analysis: A Contribution to Hilbert's Last Problem
97% match

Proof Analysis: A Contribution to Hilbert's Last Problem

Cambridge University Press

£86.29 23 Jul 2026
The History of Mathematical Proof in Ancient Traditions
97% match

The History of Mathematical Proof in Ancient Traditions

Cambridge University Press

£151.85 24 Jul 2026
Springer - Proof Technology in Mathematics Research and Teaching
96% match

Springer - Proof Technology in Mathematics Research and Teaching

Springer

£108.00 18 Jul 2026
Logical Foundations of Proof Complexity (Perspectives in Logic)
96% match

Logical Foundations of Proof Complexity (Perspectives in Logic)

Cambridge University Press

£58.99 29 Jun 2026
How to Read and Do Proofs: An Introduction to Mathematical Thought Processes
96% match

How to Read and Do Proofs: An Introduction to Mathematical Thought Processes

Wiley

£69.68 11 Jul 2026
Science Of Learning Mathematical Proofs, The: An Introductory Course
96% match

Science Of Learning Mathematical Proofs, The: An Introductory Course

World Scientific Publishing Company

£63.66 07 Jul 2026
The History of Mathematical Proof in Ancient Traditions
96% match

The History of Mathematical Proof in Ancient Traditions

Cambridge University Press

£42.58 30 Jun 2026
Springer Advances in Mathematics Education Research on Proof
96% match

Springer Advances in Mathematics Education Research on Proof

Springer

£117.58 15 Jul 2026
Explanation and Proof in Mathematics: Philosophical and Educational Perspectives
96% match

Explanation and Proof in Mathematics: Philosophical and Educational Perspectives

Springer

£108.00 04 Jul 2026
Proofs and Computations (Perspectives in Logic)
96% match

Proofs and Computations (Perspectives in Logic)

Cambridge University Press

£68.97 18 Jul 2026
Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification
96% match

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

World Scientific Publishing Company

£75.46 23 Jul 2026
Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)
96% match

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

Cambridge University Press

£40.82 30 Jun 2026
Mathematical Proofs: A Transition to Advanced Mathematics: Pearson New International Edition: A Transition to Advanced Mathematics
96% match

Mathematical Proofs: A Transition to Advanced Mathematics: Pearson New International Edition: A Transition to Advanced Mathematics

PEARSON EDUCATION

£70.99 13 Jun 2026