Logical foundations of proof complexity [electronic resource] / Stephen Cook, Phuong Nguyen

Author:: Cook, Stephen, 1948-
Published:: Ithaca, NY : Association for Symbolic Logic ; New York, NY : Cambridge University Press, 2010.
Physical Description:: xv, 479 p. : ill. ; 25 cm.
Additional Creators:: Nguyen, Phuong, 1977-

Finding items...

Series:

Restrictions on Access:

License restrictions may limit access.

Subject(s):

Genre(s):

ISBN:

9780521517294 (alk. paper)
052151729X (alk. paper)

Bibliography Note:

Includes bibliographical references (p. 457-464) and index.

View MARC record | catkey: 19802271