Home
/
arrow icon
Research
/
Research Catalog
Research Catalog
Search
Subject Heading Explorer
My Account
Request for on-site use
Title
Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen.
Call number
QA267.7 .C695 2010
Choose a pickup location
Pickup location
(required)
Submit request
Help and Feedback