Overview
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
