Logical Foundations of Proof Complexity (Perspectives in Logic)

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

New
Illustrated
2010
$171.44

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.

$171.44

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

$171.44

Synopsis

$171.44

More Information