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