Computability and logic

Computability and logic

सभी संस्करण दिखाएं (2)
ग्रंथसूची विवरण
मुख्य लेखक: Boolos, George
अन्य लेखक: Burgess, John P. 1948-, Jeffrey, Richard C.
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Cambridge Cambridge University Press c2002.
संस्करण:4th ed.
विषय:
Computable functions.
Recursive functions.
Logic, Symbolic and mathematical.