Computability and logic

Dettagli Bibliografici
Autore principale:	Boolos, George
Altri autori:	Burgess, John P. 1948-, Jeffrey, Richard C.
Natura:	Libro
Lingua:	English
Pubblicazione:	Cambridge, New York Cambridge University Press 2007.
Edizione:	5th ed.
Soggetti:	Computable functions. Recursive functions. Logic, Symbolic and mathematical.
Accesso online:	Table of contents only