Logical Foundations of Proof Complexity (Perspectives in Logic) - Image 1

£54.59

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

Name: Logical Foundations of Proof Complexity (Perspectives in Logic)
Brand: Cambridge University Press
Price: 54.59 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 22 days • 22 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 22 days • 1 price levels

Days at Price

Price Analysis

Most common price: £55 (22 days, 100.0%)

Price range: £55 - £55

Price levels: 1 different prices over 22 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

Brand: Cambridge University Press
Format: paperback
ASIN: 1107694116
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Publication Date: 06 March 2014
Listed Since: 16 January 2014

Barcode

No barcode data available

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Computational Complexity: A Conceptual Perspective

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

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Type Theory and Formal Proof: An Introduction

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

Logic for Applications (Texts in Computer Science)

Logic and Complexity (Discrete Mathematics and Theoretical Computer Science)

How to Prove It: A Structured Approach

Proven Impossible: Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More

Proof and System-Reliability: v. 62 (NATO Science Series II)

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Propositional and Predicate Calculus: A Model of Argument

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Computational Complexity: A Modern Approach

Mathematical Logic through Python

Cambridge University Press - Pure Inductive Logic Monograph

Computability Theory: An Introduction to Recursion Theory

Logic in Computer Science: Modelling and Reasoning about Systems

Mathematical Logic and Computation

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

Computable Structure Theory: Within the Arithmetic (Perspectives in Logic)