Computability and logic

Computability and logic

Show all versions (2)
Xehetasun bibliografikoak
Egile nagusia: Boolos, George
Beste egile batzuk: Burgess, John P. 1948-, Jeffrey, Richard C.
Formatua: Liburua
Hizkuntza:English
Argitaratua: Cambridge, New York Cambridge University Press 2007.
Edizioa:5th ed.
Gaiak:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Sarrera elektronikoa:Table of contents only