Related Books

Proof Complexity
Language: en
Pages: 533
Authors: Jan Krajíček
Categories: Computers
Type: BOOK - Published: 2019-03-28 - Publisher: Cambridge University Press

GET EBOOK

Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
Logical Foundations of Proof Complexity
Language: en
Pages: 0
Authors: Stephen Cook
Categories: Mathematics
Type: BOOK - Published: 2014-03-06 - Publisher: Cambridge University Press

GET EBOOK

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the
Computational Complexity
Language: en
Pages: 609
Authors: Sanjeev Arora
Categories: Computers
Type: BOOK - Published: 2009-04-20 - Publisher: Cambridge University Press

GET EBOOK

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.
Proof Theory and Logical Complexity
Language: en
Pages: 516
Authors: Jean-Yves Girard
Categories: Mathematics
Type: BOOK - Published: 1987 - Publisher:

GET EBOOK

"This long awaited book ... fills essential gaps in monographic literature on proof theory and prepares readers for volume 2 (to be published soon) containing a
Proof Complexity and Feasible Arithmetics
Language: en
Pages: 335
Authors: Paul W. Beame
Categories: Computers
Type: BOOK - Published: 1998 - Publisher: American Mathematical Soc.

GET EBOOK

The 16 papers reflect some of the breakthroughs over the past dozen years in understanding whether or not logical inferences can be made in certain situations a