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