Computability an introduction to recursive function theory

Detalhes bibliográficos
Autor principal: Cutland, Nigel
Formato: Livro
Publicado em: Cambridge, [Eng.], New York Cambridge University Press 1980.
Assuntos: