Proof Complexity (Encyclopedia Of Mathematics And Its Applications, Series Number 170)

Proof Complexity (Encyclopedia Of Mathematics And Its Applications, Series Number 170)

Cambridge University Press
SKU:
9781108416849
|
ISBN13:
9781108416849
$153.09
(No reviews yet)
Condition:
New
Usually Ships in 24hrs
Current Stock:
Estimated Delivery by: | Fastest delivery by:
Adding to cart… The item has been added
Buy ebook
Description
Offers a self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.


  • | Author: Jan Krajícek
  • | Publisher: Cambridge University Press
  • | Publication Date: May 16, 2019
  • | Number of Pages: 530 pages
  • | Language: English
  • | Binding: Hardcover
  • | ISBN-10: 1108416845
  • | ISBN-13: 9781108416849
Additional Information
Author:
Jan Krajícek
Publisher:
Cambridge University Press
Publication Date:
May 16, 2019
Number of pages:
530 pages
Language:
English
Binding:
Hardcover
ISBN-10:
1108416845
ISBN-13:
9781108416849
Related Products