Logical Foundations of Proof Complexity
Book Details
Format
Hardback or Cased Book
ISBN-10
052151729X
ISBN-13
9780521517294
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jan 25th, 2010
Print length
496 Pages
Weight
940 grams
Dimensions
23.40 x 15.60 x 3.20 cms
Product Classification:
Mathematical logicMathematical theory of computation
Ksh 18,900.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
Get Logical Foundations of Proof Complexity by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
