TY - JOUR AU - Aberth, Oliver IS - 3 JA - Journal of Symbolic Logic PB - Association for Symbolic Logic PY - 1984 TI - Computable Analysis VL - 49 ER -