Computability and logic

Detalles Bibliográficos
Autor Principal:	Boolos, George
Outros autores:	Burgess, John P. 1948-, Jeffrey, Richard C.
Formato:	Libro
Idioma:	English
Publicado:	Cambridge Cambridge University Press c2002.
Edición:	4th ed.
Subjects:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.