Computability and logic

Computability and logic

Taispeáin gach leagan (2)
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Boolos, George
Rannpháirtithe: Burgess, John P. 1948-, Jeffrey, Richard C.
Formáid: LEABHAR
Teanga:English
Foilsithe / Cruthaithe: Cambridge, New York Cambridge University Press 2007.
Eagrán:5th ed.
Ábhair:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Rochtain ar líne:Table of contents only