Computability and logic /

other_versions_link
Dades bibliogràfiques
Autor principal: Boolos, George
Altres autors: Jeffrey, Richard C. (joint author.)
Format: Printed Book
Idioma:English
Publicat: Cambridge [Eng.] : University Press, [1974].
Matèries:
Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.

University of Calicut

Detall dels fons de University of Calicut
Signatura: 511/.3 BOO/C
Còpia Comprovació en temps real no disponible

Ítems similars