Recursion Theory for Metamathematics - Smullyan (Oxford University PressOxford University Press, 2020)