Computability and logic /

other_versions_link
Bibliografiska uppgifter
Huvudupphovsman: Boolos, George
Övriga upphovsmän: Jeffrey, Richard C. (joint author.)
Materialtyp: Printed Book
Språk:English
Publicerad: Cambridge [Eng.] : University Press, [1974].
Ämnen:
Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.

University of Calicut

Beståndsuppgifter i University of Calicut
Signum: 511/.3 BOO/C
Exemplar Status otillgänglig

Liknande verk