Recursion Theory for Metamathematics

Recursion Theory for Metamathematics

RAYMOND M. SMULLYAN