TY - GEN AU - Cutland, Nigel TI - Computability: an introduction to recursive function theory SN - 0521223849 U1 - 519.4 PY - 1980/// CY - Cambridge PB - Cambridge U.P. KW - MATHEMATICS ER -