by Stephen Cook (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: 06 Mar 2014
ISBN 10: 1107694116
ISBN 13: 9781107694118
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
