Computability and logic /

other_versions_link
Bibliografske podrobnosti
Glavni avtor: Boolos, George
Drugi avtorji: Jeffrey, Richard C. (joint author.)
Format: Printed Book
Jezik:English
Izdano: Cambridge [Eng.] : University Press, [1974].
Teme:
Computable functions.
Logic, Symbolic and mathematical.
Recursive functions.

University of Calicut

Podrobnosti zaloge University of Calicut
Signatura: 511/.3 BOO/C
Kopija Zaloga ni dosegljiva

Podobne knjige/članki