Mathematical logic and computability

Mathematical logic and computability

Mostrar todas as versões (4)
Detalhes bibliográficos
Autor principal: Keisler, H. Jerome
Outros Autores: Robbin, Joel, Miller, Arnold
Formato: Livro
Idioma:English
Publicado em: New York McGraw-Hill c1996.
Assuntos:
Logic, Symbolic and mathematical.
Computable functions.