Computability and logic

Computability and logic

Veure totes les versions (2)
Dades bibliogràfiques
Autor principal: Boolos, George
Altres autors: Burgess, John P. 1948-, Jeffrey, Richard C.
Format: Llibre
Idioma:English
Publicat: Cambridge, New York Cambridge University Press 2007.
Edició:5th ed.
Matèries:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Accés en línia:Table of contents only