| 000 | 01668nam a2200409Ia 4500 | ||
|---|---|---|---|
| 001 | ocn615625523 | ||
| 003 | OCoLC | ||
| 005 | 20240925133313.0 | ||
| 006 | m d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 100517s2010 nyua sb 001 0 eng d | ||
| 040 |
_aN$T _cN$T |
||
| 020 | _a9780511677168 (electronic bk.) | ||
| 020 | _a0511677162 (electronic bk.) | ||
| 035 | _a(OCoLC)615625523 | ||
| 035 |
_a313376 _b(N$T) |
||
| 050 | 4 |
_aQA267.7 _b.C695 2010eb |
|
| 082 | 0 | 4 |
_a511.3/6 _222 |
| 049 | _aN$TA | ||
| 100 | 1 |
_aCook, Stephen, _d1948- _916884 |
|
| 245 | 1 | 0 |
_aLogical foundations of proof complexity _h[electronic resource] / _cStephen Cook, Phuong Nguyen. |
| 260 |
_aNew York : _bCambridge University Press ; _aIthaca, NY : _bAssociation for Symbolic Logic, _c2010. |
||
| 300 |
_a1 online resource (xv, 479 p.) : _bill. |
||
| 490 | 1 | _aPerspectives in logic | |
| 504 | _aIncludes bibliographical references and index. | ||
| 500 | _aDescription based on print version record. | ||
| 650 | 0 |
_aComputational complexity. _9391 |
|
| 650 | 0 |
_aProof theory. _96190 |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical. _91341 |
|
| 655 | 4 |
_aElectronic books. _9396 |
|
| 700 | 1 |
_aNguyen, Phuong, _d1977- _9509814 |
|
| 776 | 0 | 8 |
_iPrint version: _aCook, Stephen, 1948- _tLogical foundations of proof complexity. _dNew York : Cambridge University Press ; Ithaca, NY : Association for Symbolic Logic, 2010 _z9780521517294 _w(DLC) 2009051396 _w(OCoLC)466341175 |
| 830 | 0 |
_aPerspectives in logic. _9469283 |
|
| 856 | 4 | 0 |
_3EBSCOhost _uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=313376 |
| 910 | _acpp1723AUTO | ||
| 994 |
_a02 _bN$T |
||
| 999 |
_c702132 _d702132 |
||