Logical Foundations of Proof Complexity.

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

Saved in:

Bibliographic Details
Main Author:	Cook, Stephen, 1948-
Other Authors:	Nguyen, Phuong, 1977-
Format:	eBook
Language:	English
Published:	Leiden : Cambridge University Press, 2010.
Subjects:	Computational complexity. Proof theory. Logic, Symbolic and mathematical. Computational complexity Logic, Symbolic and mathematical Proof theory
Online Access:	Click for online access

Click for online access

Holdings details from Online
	Available

Similar Items