TY  - BOOK
AU  - Cutland,Nigel
TI  - Computability: an introduction to recursive function theory
SN  - 0521223849
U1  - 511.3 
PY  - 1980///
CY  - Cambridge
PB  - Cambridge University
KW  - LOGICA SIMBOLICA Y MATEMATICA
KW  - TEORIA DE LA RECURSIVIDAD
N1  - Incluye índice temático
ER  -