Proof Complexity (Encyclopedia of Mathematics and its Applications)
127,00 €
This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. Lower bounds for lengths of proofs, often regarded as the key issue in proof complexity, are of course covered in detail.
Jetzt bei Ebay:
