Mathematical logic and computability

Dettagli Bibliografici
Autore principale:	Kiesler, H. Jerome
Altri autori:	Robbin, Joel
Natura:	Libro
Lingua:	English
Pubblicazione:	New York McGraw-Hill c1996.
Soggetti:	Computable functions. Logic, Symbolic and mathematical. Formal languages.