Perspectives in logic
Subtitle: logical foundations of proof complexity
By: Stephen Cook, Phuong Nguyen.
Contributors: Nguyen, Phuong, 1977-
Publisher: Cambridge University Press
Published: 2010
Place of publication: Cambridge; New York
Language: eng
Number of pages: 479
ISBN-13: 9780521517294
Subjects: Computational complexity; Proof theory; Logic, Symbolic and mathematical
Description: "This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course."--Jacket.
Notes: Includes bibliographical references and index.