Computability :
Cutland, Nigel
Computability : an introduction to recursive function theory - Cambridge : Cambridge University, 1980 - x, 251 p. : il.
Incluye índice temático
0521223849
LOGICA SIMBOLICA Y MATEMATICA
TEORIA DE LA RECURSIVIDAD
511.3 / C989
Computability : an introduction to recursive function theory - Cambridge : Cambridge University, 1980 - x, 251 p. : il.
Incluye índice temático
0521223849
LOGICA SIMBOLICA Y MATEMATICA
TEORIA DE LA RECURSIVIDAD
511.3 / C989