Computability and logic

Computability and logic

Afficher toutes les versions (2)
Détails bibliographiques
Auteur principal: Boolos, George
Autres auteurs: Burgess, John P. 1948-, Jeffrey, Richard C.
Format: Livre
Langue:English
Publié: Cambridge, New York Cambridge University Press 2007.
Édition:5th ed.
Sujets:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Accès en ligne:Table of contents only