This VIAF Cluster has been deleted. It is no longer part of VIAF.
Cook, Stephen, 1948-. | Logical foundations of proof complexity
VIAF ID: 314654858 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314654858
Preferred Forms
Selected Titles
Author
:
Cook, Stephen,