Computability and logic /

other_versions_link
Bibliografiske detaljer
Hovedforfatter: Boolos, George
Andre forfattere: Jeffrey, Richard C. (joint author.)
Format: Printed Book
Sprog:English
Udgivet: Cambridge [Eng.] : University Press, [1974].
Fag:
Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.

University of Calicut

Detaljer om beholdninger fra University of Calicut
Klassifikationsnummer: 511/.3 BOO/C
Kopi Live Status Unavailable

Lignende værker