Recursion theory for metamathematics. - Smullyan Raymond M (Oxford Oxford University Press, 1993)