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