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