Books by Jan Krajicek
Where?
Books » Author » Jan Krajicek
| Stock Availability: |
Sort by: |
View: |
On-hand, Local, International
|
|
|
|
|
This book principally concerns the area of Logical Complexity Theory , the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computational complexity theory. This includes an open problem list of 7 fundamental and 39 technical questio...ns together with a bibliography of references.
Read more
|
|
|
|
By Krajicek, Jan
|
- RRP: $195.99
- $142.95
- Save $53.04
- No availability locally
|
A model-theoretic approach to bounded arithmetic and propositional proof complexity.
|
|
|
Self-contained work presenting basic ideas, classical results, current state of the art and possible future directions in proof complexity.
|
|
|
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems.
|
