|
|
|
|
|
|
|
| | 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: Previous 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 Next |