Davis, Martin
Computability and unsolvability - 1ª edición - New York Dover Publications 1982 - 248 páginas - Dover books on advenced mathematics .
0486614719
Funciones computables
Funciones recursivas
Insolubilidad
Lógica matemática
Teoría de recursión
511.35
Computability and unsolvability - 1ª edición - New York Dover Publications 1982 - 248 páginas - Dover books on advenced mathematics .
0486614719
Funciones computables
Funciones recursivas
Insolubilidad
Lógica matemática
Teoría de recursión
511.35