Normal view
MARC view
Recursive functions. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)0: Davis, Martin, 1928- 1964, Computability & unsolvability /, 1982.