TY - BOOK AU - Cutland, Nigel TI - Computability: an introduction to recursive function theory SN - 0521294657 U1 - 519.4 PY - 1980/// CY - Cambridge PB - Cambridge University Press KW - Computable functions KW - Recursion theory N1 - Includes bibliographical references and index ER -