Mathematical logic and computability

Detalles Bibliográficos
Autores principales:	Keisler, H. Jerome (Autor), Robbin, Joel W. (Autor)
Formato:	Libro
Lenguaje:	English
Publicado:	New York McGraw-Hill [1996]
Colección:	International series in pure and applied mathematics.
Materias:	Computable functions. Logic, Symbolic and mathematical. Formal languages.