A firm and square hardback with sharp corners and strong joints, just showing a few very minor cosmetic rubs. Hence a non-text page has a small 'damaged' stamp. Despite such this book is actually in nearly new condition and appears unread. Thus the contents are crisp, fresh and tight; no pen-marks. Now offered for sale at a very sensible price.

N� de ref. del art�culo 209327

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

Hardcover

Edici�n

First Edition.

Estado

Like New

Cat�logos de vendedores

Science, Mathematics & Technology

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

In addition to thousands of general books covering a wide range of topics, we also deal in fine, rare and interesting books of all kinds, especially hard-to-find academic and scholarly titles.

Ver la p�gina web de la librer�a

Miembro de asociaci�n

Los miembros de estas asociaciones est�n comprometidos a mantener los est�ndares m�s altos. Ellos garantizan la autenticidad de los art�culos que ofrecen a la venta. Tienen descripciones expertas y detalladas, se�alan los defectos significativos y/o restauraciones, muestran los precios exactos y llevan a cabo un servicio de imparcialidad y honestidad durante la experiencia de la compra.

Informaci�n empresarial del vendedor

Prior Books Ltd
Unit 42, Space Business Centre, Cheltenham, GL51 9FL, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Prior Books Limited, Unit 42, Space Business Centre, Tewkesbury Road, Cheltenham, GL51 9FL, United Kingdom. Phone 01242 227141. Contact: Brecken McPhee. Email: priorbooks@gmail.com. Company Registration Number: 7981438. Vat Number: 79125361.
Terms of Sale: Full refund if not as described.

Derecho a cancelaci�n

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tarifas de env�o de Reino Unido a Estados Unidos de America

Tarifas de env�o de Reino Unido a Estados Unidos de America
Cantidad del pedido	De 10 a 15 d�as h�biles	De 2 a 4 d�as h�biles
Primer art�culo	EUR 25.44	EUR 34.69

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.