Logical Foundations of Proof Complexity (Perspectives in Logic)

Cook, Stephen; Nguyen, Phuong

ISBN 10: 052151729X ISBN 13: 9780521517294

Editorial: Cambridge University Press, 2010

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por California Books, Miami, FL, Estados Unidos de America

Vendedor de AbeBooks desde 27 de octubre de 2023

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: Nuevo

Precio: EUR 136,34 Convertir moneda

EUR 6,83 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo I-9780521517294

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Logical Foundations of Proof Complexity (Perspectives in Logic)
Editor: Cambridge University Press
Fecha de publicaci�n: 2010
Idioma: Ingl�s
ISBN 10: 052151729X
ISBN 13: 9780521517294
Encuadernaci�n: Encuadernaci�n de tapa dura
Estado: New

Acerca de

Sinopsis

This book treats bounded arithmetic and propositional proof complexity from the point of view of computational complexity. The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. The result is a uniform treatment of many systems in the literature.

Acerca de los autores

Stephen Cook is a professor at the University of Toronto. He is author of many research papers, including his famous 1971 paper 'The Complexity of Theorem Proving Procedures', and the 1982 recipient of the Turing Award. He was awarded a Steacie Fellowship in 1977 and a Killam Research Fellowship in 1982 and received the CRM/Fields Institute Prize in 1999. He is a Fellow of the Royal Society of London and the Royal Society of Canada and was elected to membership in the National Academy of Sciences (United States) and the American Academy of Arts and Sciences.

Phuong Nguyen (Nguyễn Thế Phương) received his MSc and PhD degrees from University of Toronto in 2004 and 2008 respectively. He has been awarded postdoctoral fellowships by the Eduard Čech Center for Algebra and Geometry (the Czech Republic) for 2008–9, and by the Natural Sciences and Engineering Research Council of Canada (NSERC), effective September 2009.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

We have 20 years experience selling books worldwide! Friendly customer support. Your satisfaction guaranteed!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Miramar International Services LLC

Condiciones de venta y env�o

Condiciones de venta

www.californiabooks.com

Condiciones de env�o

www.californiabooks.com

M�todos de pago

A�adir una petici�n