booktheque

Perspectives in logic

Stephen Cook · 2010

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

About the book

"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."--Jacket.

Book details

Year
2010
Language
English
Publisher
Cambridge University Press
Editions
1
Pages
479
ISBN
9780521517294

Data source: Wikidata