Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)

by JanKrajíek (Author)

New
Paperback
2010
$56.60

A model-theoretic approach to bounded arithmetic and propositional proof complexity.

Synopsis

A model-theoretic approach to bounded arithmetic and propositional proof complexity.

$56.60

Quantity

10 in stock

More Information

Format: Paperback
Pages: 264
Edition: 1
Publisher: Cambridge University Press
Published: 23 Dec 2010
ISBN 10: 0521154332
ISBN 13: 9780521154338

Forcing with Random Variables and Proof Complexity (London Mathematical Society Lecture Note Series)

New

$56.60

Synopsis

$56.60

More Information