Dados do Acervo - Livros
Número de Chamada
519.4 D263c
Autor Principal
Davis, Martin, 1928-
Título Principal
Computability & unsolvability / Martin Davis
Publicação
New York : McGraw-Hill, c1958.
Descrição Física
210 p.; 22 cm
Assuntos
Funções recursivas