Computability and logic

Computability and logic

Mostrar todas as versões (2)
Detalhes bibliográficos
Autor principal: Boolos, George
Outros Autores: Burgess, John P. 1948-, Jeffrey, Richard C.
Formato: Livro
Idioma:English
Publicado em: Cambridge Cambridge University Press c2002.
Edição:4th ed.
Assuntos:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.