000 | 00443 a2200145 4500 | ||
---|---|---|---|
035 | _a | ||
090 |
_c16714 _d16714 |
||
100 | _aSelman, Alan L | ||
245 |
_aApplications of forcing to definability problems in the arithmetical hierarchy _cAlan L. Selman |
||
260 |
_aCarnegie-Mellon _bUniversite Carnegie- Mellon _c1970 |
||
300 |
_a35 p _c27 cm |
||
440 |
_aReport _n70-52 |
||
500 | _aLucrarea este multigrafiata | ||
942 |
_aIMAR _cCART _sSN |
||
999 |
_c16468 _d16468 |