Perspectives in logic logical foundations of proof complexity /

Perspectives in logic logical foundations of proof complexity /

Saved in:
Bibliographic Details
Main Author: Cook, Stephen, 1948-
Corporate Author: ebrary, Inc
Other Authors: Nguyen, Phuong, 1977-
Format: Electronic eBook
Language:English
Published: Cambridge ; New York : Cambridge University Press, 2010.
Subjects:
Computational complexity.
Proof theory.
Logic, Symbolic and mathematical.
Electronic books.
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xv, 479 p.
Bibliography:Includes bibliographical references and index.

Similar Items