На данной странице предаставлены все книги автора «Stephen Cook»
Logical Foundations of Proof Complexity (Stephen Cook,Phuong Nguyen)