| 000 | 00777 a2200253 4500 | ||
|---|---|---|---|
| 010 | _a 2008052364 | ||
| 020 | _a9780521884396 (hardback) | ||
| 035 | _a(OCoLC)ocn288374692 | ||
| 050 | 0 | 0 | _aQA9.7 |
| 082 | 0 | 0 | _a511.3 |
| 090 |
_c31188 _d31188 |
||
| 100 | 1 | _aSimpson, Stephen G. | |
| 546 | _aeng | ||
| 245 | 1 | 0 |
_aSubsystems of second order arithmetic _cStephen G. Simpson. |
| 250 | _a2nd ed. | ||
| 260 |
_aCambridge ; _aNew York _bCambridge University Press _c2009. |
||
| 300 |
_axvi, 444 p. _bill. _c25 cm |
||
| 490 | 1 | _aPerspectives in logic | |
| 500 | _aAntetutlu: "Association for Symbolic Logic." Bibliografie | ||
| 650 | 0 | _aPredicate calculus | |
| 710 | 2 | _aAssociation for Symbolic Logic | |
| 830 | 0 | _aPerspectives in logic | |
| 942 |
_aIMAR _cCART _k511.3 _sEP |
||
| 999 |
_c30775 _d30775 |
||