Logical Foundations of Proof Complexity (Perspectives in Logic)

by Stephen Cook (Author), Phuong Nguyen (Author)

New
Illustrated
2010
$162.77

A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.

Synopsis

A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.

$162.77

Quantity

20+ in stock

More Information

Format: Illustrated
Pages: 496
Edition: Illustrated
Publisher: Cambridge University Press
Published: 25 Jan 2010
ISBN 10: 052151729X
ISBN 13: 9780521517294

Logical Foundations of Proof Complexity (Perspectives in Logic)

New

$162.77

Synopsis

$162.77

More Information