Logical Foundations of Proof Complexity by Stephen
95,99 €
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/vv8AAeSwnnZoNio0/s-l140.jpg)
![Produktbild - Logical Foundations of Cyber-Physical Systems by Platzer, André [Paperback]](https://i.ebayimg.com/thumbs/images/g/7IMAAOSwKi9nlyoP/s-l140.jpg)
![Produktbild - Logical Foundations of Cyber-Physical Systems by Platzer, André [Hardback]](https://i.ebayimg.com/thumbs/images/g/HcYAAOSwbEJnl0h8/s-l140.jpg)
