Perspectives in logic [electronic resource] : logical foundations of proof complexity / Stephen Cook, Phuong Nguyen.
Material type:
TextPublication details: Cambridge ; New York : Cambridge University Press, 2010.Description: xv, 479 pISBN: - 9780511681653
- 511.3/6 22
- QA267.7 .C695 2010
No physical items for this record
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
There are no comments on this title.
Log in to your account to post a comment.