Logical foundations of proof complexity

Author(s)

• Cook, Stephen
• Nguyen, Phuong

Bibliographic Information

Logical foundations of proof complexity

Stephen Cook, Phuong Nguyen

（Perspectives in logic）

Association for Symbolic Logic : Cambridge University Press, 2010

Note

Includes bibliographical references and index

Details

• NCID: BB01147286
• ISBN:
  • 9780521517294
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York
• Pages/Volumes: xv, 479 p.
• Size: 25 cm
• Classification:
  • LCC : QA267.7
  • DC22 : 511.3/6
• Subject Headings:
  • LCSH : Computational complexity
  • LCSH : Proof theory
  • LCSH : Logic, Symbolic and mathematical
• Parent Bibliography ID:
  • BA90341523