TY - BOOK AU - Cutland Nigel TI - Computability An Introducation to Recursive Function Theory SN - 0521294657 U1 - 519.4 PY - 1980/// CY - Australia PB - Cambridge University Press ER -