Logical Foundations of Proof Complexity Stephen Cook Flere utgaver Innbundet 1705,- Paperback 575,- 1705,-