Mathematical logic and computability

Mathematical logic and computability

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