Menu
Home
Help and information
About this website
Privacy Policy
Stephen Arthur Cook
1 published title
Logical foundations of proof complexity
1 edition
ISBN: 9780521517294
Cambridge University Press
2010
Details