Mathematical logic and computability

Mathematical logic and computability

Show all versions (2)
Detalles Bibliográficos
Autor Principal: Kiesler, H. Jerome
Outros autores: Robbin, Joel
Formato: Libro
Idioma:English
Publicado: New York McGraw-Hill c1996.
Subjects:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.