Proof Complexity

By Jan Krajíček

Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1108416845
• ISBN13: 9781108416849
• Release Date: May 2019
• Publisher: Cambridge University Press
• Length: 530 Pages
• Weight: 1.60 lbs.
• Dimensions: 1.1" x 6.5" x 9.5"