Formal number theory and computability: A workbook - Fisher, Alec (Oxford Clarendon Press, 1982)