TY  - DATA
AU  - Nerode Anil
AU  - Shore Richard A
TI  - Recursion theory 
T2  - Proceedings of symposia in pure mathematics, 
SN  - 9780821893340 (online)
PY  - 1985///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Recursion theory
UR  - https://doi.org/10.1090/pspum/042
ER  -