Logical Foundations of Proof Complexity Cook, Stephen / Nguyen, Phuong A treatise on bounded arithmetic and propositional proof complexity by the leader in the field. CHF 101.00 In Warenkorb legen
Logical Foundations of Proof Complexity Cook, Stephen / Nguyen, Phuong A treatise on bounded arithmetic and propositional proof complexity by the leader in the field. CHF 150.00 In Warenkorb legen