Mathematical logic and computability

Detalles Bibliográficos
Autor Principal:	Keisler, H. Jerome
Outros autores:	Robbin, Joel W.
Formato:	Libro
Publicado:	New York McGraw-Hill c1996.
Subjects:	Computable functions. Logic, Symbolic and mathematical. Formal languages.