Nuno rated Computability & unsolvability: 3 stars Dec. 8, 2012 Unlisted Computability & unsolvability by Davis, Martin (McGraw-Hill series in information processing and computers.)
