Logical Foundations of Proof Complexity.

Show other versions (1)

A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Cook, Stephen, 1948-
Other Authors: Nguyen, Phuong, 1977-
Format: Electronic eBook
Language:Inglés
Published: Leiden : Cambridge University Press, 2010.
Subjects:
Computational complexity.
Proof theory.
Logic, Symbolic and mathematical.
Complexité de calcul (Informatique)
Théorie de la preuve.
Logique symbolique et mathématique.
Computational complexity
Logic, Symbolic and mathematical
Proof theory
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items