Mathematical logic and computability

Detalles Bibliográficos
Main Authors:	Keisler, H. Jerome (Author), Robbin, Joel W. (Author)
Formato:	Libro
Idioma:	English
Publicado:	New York McGraw-Hill [1996]
Series:	International series in pure and applied mathematics.
Subjects:	Computable functions. Logic, Symbolic and mathematical. Formal languages.