Mathematical logic and computability

Mathematical logic and computability

Veure totes les versions (2)
Dades bibliogràfiques
Autor principal: Kiesler, H. Jerome
Altres autors: Robbin, Joel
Format: Llibre
Idioma:English
Publicat: New York McGraw-Hill c1996.
Matèries:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.