Número de Chamada
|
519.4 D263c
|
|
Autor Principal
|
Davis, Martin, 1928-
|
|
Título Principal
|
Computability & unsolvability / Martin Davis
|
|
Publicação
|
New York : Dover, c1982.
|
|
Descrição Física
|
248 p.; 22 cm
|
|
Notas
|
Inclui bibliografia e índice
|
|
ISBN
|
0486614719 (broch.)
|
|
Assuntos
|
Funções recursivas
|
|