Computability and logic

Detalles Bibliográficos
Autor principal:	Boolos, George
Otros Autores:	Burgess, John P. 1948-, Jeffrey, Richard C.
Formato:	Libro
Lenguaje:	English
Publicado:	Cambridge, New York Cambridge University Press 2007.
Edición:	5th ed.
Materias:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Acceso en línea:	Table of contents only