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!

MARC


LEADER	00000nam a2200000Ia 4500
001	0000120654
005	20171002060432.0
006	m u
007	cr cn\|\|\|\|\|\|\|\|\|
008	091230s2010 enk sb 001 0 eng d
010			\|z 2009051396
020			\|z 9780521517294 (alk. paper)
035			\|a (CaPaEBR)ebr10382910
035			\|a (OCoLC)647920130
040			\|a CaPaEBR \|c CaPaEBR
050	1	4	\|a QA267.7 \|b .C695 2010eb
082	0	4	\|a 511.3/6 \|2 22
100	1		\|a Cook, Stephen, \|d 1948-
245	1	0	\|a Perspectives in logic \|h [electronic resource] : \|b logical foundations of proof complexity / \|c Stephen Cook, Phuong Nguyen.
260			\|a Cambridge ; \|a New York : \|b Cambridge University Press, \|c 2010.
300			\|a xv, 479 p.
504			\|a Includes bibliographical references and index.
533			\|a Electronic reproduction. \|b Palo Alto, Calif. : \|c ebrary, \|d 2010. \|n Available via World Wide Web. \|n Access may be limited to ebrary affiliated libraries.
650		0	\|a Computational complexity.
650		0	\|a Proof theory.
650		0	\|a Logic, Symbolic and mathematical.
655		7	\|a Electronic books. \|2 local
700	1		\|a Nguyen, Phuong, \|d 1977-
710	2		\|a ebrary, Inc.
856	4	0	\|u http://site.ebrary.com/lib/daystar/Doc?id=10382910 \|z An electronic book accessible through the World Wide Web; click to view
908			\|a 170314
942	0	0	\|c EB
999			\|c 109803 \|d 109803