Logical foundations of proof complexity /

Bibliographic Details
Main Author:	Cook, Stephen, 1948-
Other Authors:	Nguyen, Phuong, 1977-
Format:	Book
Language:	English
Published:	New York : Ithaca, NY : Cambridge University Press ; Association for Symbolic Logic, 2010.
Series:	Perspectives in logic.
Subjects:	Computational complexity. Proof theory. Logic, Symbolic and mathematical.

Remote Storage