Solvability, provability, definability : the collected works of Emil L. Post - Davis, Martin (Contemporary mathematics, 1994)