| 000 | 00434nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 220816s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a9780521517294 (hardback) | ||
| 245 | 0 |
_aLogical Foundations of Proof Complexity _cCook, Stephen, |
|
| 300 |
_a1 online resource (496 pages) : _bdigital, PDF file(s). |
||
| 500 | _aTitle from publisher's bibliographic system (viewed on 01 Sep 2015). | ||
| 856 | _uhttp://dx.doi.org/10.1017/CBO9780511676277 | ||
| 999 |
_c3598 _d3598 |
||