£94.58

Cambridge University Press Logical Foundations of Proof Complexity (Perspectives in Logic)

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

View at Amazon

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

This is the usual price. Wait for it to drop, or tell us your number.

£95 today · usual range £77–£98 · best ever £77

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

Historical
Generating forecast...
£98.29 £74.51 £79.70 £84.89 £90.07 £95.26 £100.45 10 April 2026 22 April 2026 05 May 2026 18 May 2026 31 May 2026

Price Distribution

Price distribution over 52 days • 3 price levels

Days at Price
Current Price
35 days 12 days · current 5 days 0 9 18 26 35 £77 £95 £98 Days at Price

Price Analysis

Most common price: £77 (35 days, 67.3%)

Price range: £77 - £98

Price levels: 3 different prices over 52 days

Description

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system. The complexity classes range from AC0 for the weakest theory up to the polynomial hierarchy. Each bounded theorem in a theory translates into a family of (quantified) propositional tautologies with polynomial size proofs in the corresponding proof system. The theory proves the soundness of the associated proof system. The result is a uniform treatment of many systems in the literature, including Buss's theories for the polynomial hierarchy and many disparate systems for complexity classes such as AC0, AC0(m), TC0, NC1, L, NL, NC, and P.

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
25 January 2010
Listed Since
21 September 2009

Barcode

No barcode data available

Similar Products You Might Like

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
89% match

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Cambridge University Press

£131.48 27 May 2026
Structural Proof Theory
84% match

Structural Proof Theory

Cambridge University Press

£94.00 04 Jun 2026
The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
83% match

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Cambridge University Press

£39.90 17 May 2026
Programming with Higher-Order Logic
82% match

Programming with Higher-Order Logic

Cambridge University Press

£32.17 26 May 2026
Acceptable Premises: An Epistemic Approach to an Informal Logic Problem
82% match

Acceptable Premises: An Epistemic Approach to an Informal Logic Problem

Cambridge University Press

£29.70 21 May 2026
Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)
81% match

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

Springer

£106.20 31 May 2026
Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)
81% match

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Cambridge University Press

£156.75 12 May 2026
Logics for Computer Science: Classical and Non-Classical
81% match

Logics for Computer Science: Classical and Non-Classical

Springer

£76.52 05 Jun 2026
Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)
81% match

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Cambridge University Press

£61.72 18 May 2026
Abductive Inference: Computation, Philosophy, Technology
80% match

Abductive Inference: Computation, Philosophy, Technology

Cambridge University Press

£66.48 04 May 2026
P, Np, and Np-Completeness: The Basics of Computational Complexity
80% match

P, Np, and Np-Completeness: The Basics of Computational Complexity

Cambridge University Press

£34.80 09 Jun 2026
Handbook of Computability Theory (Volume 140) (Studies in Logic and the Foundations of Mathematics, Volume 140)
80% match

Handbook of Computability Theory (Volume 140) (Studies in Logic and the Foundations of Mathematics, Volume 140)

North Holland

£120.00 22 May 2026
Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)
79% match

Bounded Queries in Recursion Theory: 16 (Progress in Computer Science and Applied Logic, 16)

Birkhauser

£73.03 27 May 2026
A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)
79% match

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

Springer

£39.55 16 May 2026
Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)
79% match

Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)

Cambridge University Press

£66.19 04 May 2026
Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)
79% match

Goal-Directed Proof Theory: 21 (Applied Logic Series, 21)

Springer

£73.03 15 Jun 2026
Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)
79% match

Proof Theory and Automated Deduction: 6 (Applied Logic Series, 6)

Springer

£29.83 05 Jun 2026
Categories for Types (Studies in Emotion and Social Interaction)
79% match

Categories for Types (Studies in Emotion and Social Interaction)

Cambridge University Press

£118.95 17 May 2026
Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)
79% match

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)

Springer

£72.77 21 May 2026
First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)
79% match

First-Order Schemata and Inductive Proof Analysis (Computer Science Foundations and Applied Logic)

Birkhauser

£115.87 01 Jun 2026
The Foundations of Computability Theory
79% match

The Foundations of Computability Theory

Springer

£72.50 05 Jun 2026
The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)
79% match

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Springer

£105.94 17 May 2026
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)
79% match

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms (University Series in Mathematics)

Springer

£73.03 02 Jun 2026
An Introduction to Formal Languages and Machine Computation
79% match

An Introduction to Formal Languages and Machine Computation

Scientific Publishing

£68.00 03 Jul 2026