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
AI Summary
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.
Discover books you might love based on this title.
More in This Genre
An Image Processing Tour of College Mathematics
Ksh 33,300.00
Provenance and Annotation of Data and Processes
Ksh 8,100.00
Frontiers in Algorithmics
Ksh 8,100.00
Formal Aspects of Component Software
Ksh 8,100.00
A First Course in Mathematical Logic and Set Theory
Ksh 17,450.00
Genetic and Evolutionary Computing
Ksh 36,000.00
