Computability and logic /

other_versions_link
Bibliographic Details
Main Author: Boolos, George
Other Authors: Jeffrey, Richard C. (joint author.)
Format: Printed Book
Language:English
Published: Cambridge [Eng.] : University Press, [1974].
Subjects:
Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.

University of Calicut

Holdings details from University of Calicut
Call Number: 511/.3 BOO/C
Copy Live Status Unavailable

Similar Items