Mathematical logic and computability

Mathematical logic and computability

Afficher toutes les versions (4)
Détails bibliographiques
Auteur principal: Keisler, H. Jerome
Autres auteurs: Robbin, Joel, Miller, Arnold
Format: Livre
Langue:English
Publié: New York McGraw-Hill c1996.
Sujets:
Logic, Symbolic and mathematical.
Computable functions.