Mathematical logic and computability

Mathematical logic and computability

Show all versions (3)
Detalhes bibliográficos
Main Authors: Keisler, H. Jerome (Author), Robbin, Joel W. (Author)
Formato: Livro
Idioma:English
Publicado em: New York McGraw-Hill [1996]
Colecção:International series in pure and applied mathematics.
Assuntos:
Computable functions.
Logic, Symbolic and mathematical.
Formal languages.