Cook, Stephen, (1948-)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Logical foundations of proof complexity /
by:
Cook, Stephen, (1948-); Nguyen, Phuong, (1977-)
(Language materials, printed)