The Work Recursion Theory for Metamathematics The details The Author Raymond Smullyan The offers View hardback on Amazon