|
|
|
|
| | | | Proof Complexity (Encyclopedia of Mathematics and its Applications)
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 the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various... |
|
|
|
|
|
Result Page: 14 13 12 11 10 9 8 7 6 5 4 3 2 1 |