Mathematical logic and computability

Mathematical logic and computability

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