Logische Grundlagen der Beweiskomplexität von Stephen Cook (Englisch) Hardcover Buch
178,83 €
The first seven chapters include the necessary logical background for the material and are suitable for a graduate course. Associated with each of many complexity classes are both a two-sorted predicate calculus theory, with induction restricted to concepts in the class, and a propositional proof system.
Jetzt bei Ebay:
![Produktbild - Logical Foundations of Proof Complexity by Stephen [Hardback]](https://i.ebayimg.com/thumbs/images/g/IhwAAOSwAXhndAqU/s-l140.jpg)
