| 000 | 00911nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1999##################000#0#eng## | ||
| 020 | _a0521635500 | ||
| 022 | _a99019677 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a511.3 COO | ||
| 245 |
_aModels and computability : invited papers from logic colloquium '97, European meeting of the association for symbolic logic, Leeds, July 1997 _cedited by S. Barry Cooper, John K. Truss |
||
| 260 |
_aCambridge _bCambridge University Press _c1999 |
||
| 300 | _aix, 419 p. ; 23 cm | ||
| 500 | _aIncludes bibliographical references | ||
| 650 | _aComputable functions - Congresses | ||
| 650 | _aLogic, Symbolic and mathematical - Congresses | ||
| 700 | _aCooper, S. B | ||
| 700 | _aTruss, J. K | ||
| 710 | _aAssociation for Symbolic Logic, Logic Colloquium (1997 : Leeds, England) | ||
| 990 | _ae0e02ccaac10000c32ace112952ec0b9 | ||
| 991 | _a121401 | ||
| 999 |
_c12570 _d12570 |
||