TY  - GEN
AU  - Selman, Alan L
TI  - Applications of forcing to definability problems in the arithmetical hierarchy
PY  - 1970///
CY  - Carnegie-Mellon
PB  - Universite Carnegie- Mellon
N1  - Lucrarea este multigrafiata
ER  -