Normal view
MARC view
Computable functions. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)0: Boolos, George. 3264, Computability and logic /, 1980.