by Stephen Cook (Author), Phuong Nguyen (Author)
A treatise on bounded arithmetic and propositional proof complexity by the leader in the field.
Format: Illustrated
Pages: 496
Edition: Illustrated
Publisher: Cambridge University Press
Published: 25 Jan 2010
ISBN 10: 052151729X
ISBN 13: 9780521517294
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
