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

£131.48

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

Name: Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)
Brand: Cambridge University Press
Price: 131.48 GBP
Availability: InStock

Computer Science

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

£131 today · previous high £131 · all-time low £95

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

Historical

Generating forecast...

Price Distribution

Price distribution over 53 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £97 (40 days, 75.5%)

Price range: £95 - £131

Price levels: 4 different prices over 53 days

Description

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521452058
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 24 November 1995
Listed Since: 09 February 2007

Barcode

No barcode data available

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

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

Logical Foundations of Proof Complexity (Perspectives in Logic)

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

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

Structural Proof Theory

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

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

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

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

Programming with Higher-Order Logic

Logics for Computer Science: Classical and Non-Classical

Introduction to Complex Variables and Applications: 63 (Cambridge Texts in Applied Mathematics, Series Number 63)

Combinatorics, Automata and Number Theory: 135 (Encyclopedia of Mathematics and its Applications, Series Number 135)

Combinatorial Mathematics

Matroid Applications: 40 (Encyclopedia of Mathematics and its Applications, Series Number 40)

Nonnegative Matrices and Applications: 64 (Encyclopedia of Mathematics and its Applications, Series Number 64)

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

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

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems: 35 (Applied Logic Series, 35)

New Directions in Paraconsistent Logic: 5th WCP, Kolkata, India, February 2014: 152 (Springer Proceedings in Mathematics & Statistics, 152)

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

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Combinatorial Methods in Discrete Mathematics: 55 (Encyclopedia of Mathematics and its Applications, Series Number 55)

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)