Computability and logic /

other_versions_link
ग्रंथसूची विवरण
मुख्य लेखक: Boolos, George
अन्य लेखक: Jeffrey, Richard C. (joint author.)
स्वरूप: Printed Book
भाषा:English
प्रकाशित: Cambridge [Eng.] : University Press, [1974].
विषय:
Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.

University of Calicut

होल्डिंग्स विवरण से University of Calicut
बोधानक: 511/.3 BOO/C
प्रति लाइव स्थिति उपलब्ध नहीं है

समान संसाधन