Computability and logic

Computability and logic

Visa alla versioner (2)
Bibliografiska uppgifter
Huvudupphovsman: Boolos, George
Övriga upphovsmän: Burgess, John P. 1948-, Jeffrey, Richard C.
Materialtyp: Bok
Språk:English
Publicerad: Cambridge, New York Cambridge University Press 2007.
Upplaga:5th ed.
Ämnen:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.
Länkar:Table of contents only