Computability and logic

Detalhes bibliográficos
Autor principal:	Boolos, George
Outros Autores:	Burgess, John P. 1948-, Jeffrey, Richard C.
Formato:	Livro
Idioma:	English
Publicado em:	Cambridge, New York Cambridge University Press 2007.
Edição:	5th ed.
Assuntos:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Acesso em linha:	Table of contents only