TY - BOOK AU - Cooper S B AU - Slaman T A AU - Wainer S S TI - Computability, Enumerability, unsolvability: directions in recursion theory SN - 0-521-55736-4 U1 - 511.35 PY - 1996/// CY - Cambridge PB - CUP KW - Recursion theory N1 - This volume is a collection of articles commemorating the Leeds recursion theory year 1993-94 ER -