Solvability, provability, definability : the collected works of Emil L. Post / Martin Davis (editor) - Post, Emil Leon, 1897-1954. (OLS)http://pul/name/52885; Davis, Martin, 1928- (OLS)http://pul/name/48980 (Birkhäuser, 1994)