Mathematical logic and computability

Mathematical logic and computability

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