Tools

LEADER 01819cam 2200493 a 4500

001 ocn466341175;

003 OCoLC;

005 20141212052213.0;

008 091230s2010 nyua b 001 0 eng ;

010 a| 2009051396;

020 a| 9780521517294 (alk. paper);

020 a| 052151729X (alk. paper);

029 1 a| AU@b| 000045060558;

029 1 a| CDXb| 10806762;

029 1 a| CHVBKb| 147555213;

029 1 a| CDXb| 13114310;

035 a| (Sirsi) o466341175;

035 a| (OCoLC)466341175;

049 a| EREE;

050 00 a| QA267.7b| .C695 2010;

082 00 a| 511.3/62| 22;

100 1 a| Cook, Stephen,d| 1948-=| ^A200817;

245 10 a| Logical foundations of proof complexity /c| Stephen Cook, Phuong Nguyen.;

300 a| xv, 479 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Perspectives in logic;

504 a| Includes bibliographical references and index.;

650 0 a| Computational complexity.=| ^A74807;

650 0 a| Proof theory.=| ^A27801;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Nguyen, Phuong,d| 1977-=| ^A1210626;

830 0 a| Perspectives in logic.?| UNAUTHORIZED;

994 a| C0b| ERE;

938 a| YBP Library Servicesb| YANKn| 3137514;

938 a| Blackwell Book Service UKb| BBUKn| L5842226c| 50.00;

938 a| Blackwell Book Serviceb| BBUSn| R8835735c| $80.00;

938 a| Coutts Information Servicesb| COUTn| 13114310;

596 a| 1;

998 a| 2286000;

999 a| QA267.7 .C695 2010w| LCc| 1i| 30372015118877d| 2/4/2011e| 9/24/2010l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 9/16/2010x| BOOKz| JSTACKSo| .STAFF. jmpl;

Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen.

Author/creator	Cook, Stephen, 1948-
Other author	Nguyen, Phuong, 1977-
Format	Book
Publication Info	New York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, 2010.
Description	xv, 479 pages : illustrations ; 25 cm.
Subjects	Computational complexity. Proof theory. Logic, Symbolic and mathematical.

Series	Perspectives in logic Perspectives in logic. UNAUTHORIZED
Bibliography note	Includes bibliographical references and index.
LCCN	2009051396
ISBN	9780521517294 (alk. paper)
ISBN	052151729X (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA267.7 .C695 2010	✔ Available	Place Hold

Logical foundations of proof complexity / Stephen Cook, Phuong Nguyen.

Click here for more information about this title

Availability